理解NOT EXISTS

EXISTS和NOT EXISTS
EXISTS：略

NOT EXISTS

数据库表 如下

三道例题：例题1简略描述思路
例题2描述过程
例题3重点讲解为什么要这么解
​ 例题1：查找没有选修了课程‘1’的学生的姓名；

​ step1 ------->查选秀课程1的学生的学号

​ step2 ------->不包含该学号的学生的姓名

​ 例题2：查找选修了所有课程的学生的姓名

​ step1 ------->即查找没有一门课程，他不选修的学生

​ step2 --------->1.查找所有课程，2.查找：对于查找到的所有课程，存在（开设了）课程、并且该学生选修了 的学生

SELECT Sname
FROM student
WHERE NOT EXISTS
(SELECT *
 FROM course
 WHERE NOT EXISTS
 (SELECT *
  FROM sc
  WHERE course.Cno = sc.Cno AND student.Sno=sc.Sno));

​ 例题3：

​ 查询至少选修了学生‘001’选修了的全部课程的学生号

​ step1 ------->即查找没有一门001选修了的课程中，ta是不选修的学生

​ step2 --------->1.查找所有001选了的课程，2.查找：对于查找到的所有课程，存在（开设了）课程、并且该 学生选修了的学生

SELECT DISTINCT Sno
FROM sc s
WHERE s.Sno!='001' AND NOT EXISTS
(SELECT *				/*这一步是查001选修的课程*/
FROM sc c
WHERE c.Sno = '001' AND NOT EXISTS
(SELECT *
FROM sc s1
WHERE  c.Cno =s1.Cno AND s.Sno = s1.Sno);/*关联查询，每次会传一个元组进入，那么每次会查001选的一项课程是否存在，且待查学生选修了；即该学生选修了该001学生选修的该项课程，一旦不满足就会退出进入下一个学生*/
  /*伪代码过程描述：
  首先我们知道 EXISTS、NOT EXISTS查询结果是true or false，同时每个关联查询传递的是一个元组
  由此可以有以下描述：
  	1.每次返回对应下述代码一个if语句
  	2.每个嵌套的SELECT就是一个for循环
  	3.确定结束条件即可写出输出if语句和跳出循环if语句的条件
  	4.for语句条件和外层if语句条件密切相关

所以有：
 	for(start to end) {
 		INT findNumber = 0；
 		for(start to end) {
 			if(查询不到，这里就是上述step2的第二步){
 				break;
 			}
 		}
 		if(findNumber==该查询次数，这里就是上述step2中第一步) {
 			输出结果
 		}
 	}
 */

重点：
首先我们知道 EXISTS、NOT EXISTS查询结果是true or false，同时每个关联查询传递的是一个元组
由此可以有以下描述：
1.每次返回对应下述代码一个if语句
2.每个嵌套的SELECT就是一个for循环
3.确定结束条件即可写出输出if语句和跳出循环if语句的条件
4.for语句条件和外层if语句条件密切相关

所以有：
for(start to end) {
INT findNumber = 0；
for(start to end) {
if(查询不到，这里就是上述step2的第二步){
break;
}
}
if(findNumber==该查询次数，这里就是上述step2中第一步) {
输出结果
}
}