SQL中EXISTS的理解（以查询选修了所有课程的学生姓名 为例）

查询选修了所有课程的学生姓名
两种思路：
第一种比较简单就是直接对比学生的选课数是否等于课程总数

SELECT Sname FROM student 
WHERE Sno IN ( 
SELECT Sno FROM sc 
GROUP BY Sno 
HAVING COUNT(*)=( SELECT count(*) FROM course) /*该学生选课数=课程总数*/
);

第二种方法是一直比较困惑的

SELECT
	Sname 
FROM
	student 
WHERE
	NOT EXISTS (
	SELECT
		* 
	FROM
		course 
WHERE
	NOT EXISTS /*不存在的提交给course */ 
	( SELECT * FROM SC WHERE Sno = student.sno AND cno = Course.Cno )) /*代入两个未知变量*/

先说明一下：
（1）EXIST ：若子查询的结果集非空时，返回“True”；若子查询的结果集为空时，返回“False” 。
（2）NOT EXISTS ：若子查询结果为空，返回“TRUE”值；若子查询的结果集非空时，返回 “FALSE。
（3）EXISTS 执行的流程：首先执行外层查询，再执行内存查询，与IN相反。流程为首先取出外层中的第一元组，再执行内层查询，将外层表的第一元组代入，若内层查询为真，即有结果时。返回外层表中的第一元 组，接着取出第二元组，执行相同的算法。一直到扫描完外层整表。

我的解释如下：
从学生表中查询姓名，条件是选修了全部课程的，这个条件转换一下就是——查找课程，如果不存在一门课程这个学生没有选修，那他就都选修了，就是我们要找的。然后就是把course表中的课程依次拿出来找出没有选修的，这里NOT EXISTS 子查询中找不到返回为真，找不到返回为真，就说明的确不存在一门课程这个学生没有选修，也就是都选修了全部课程的学生。

整体步骤：

1. 从学生表中查找学生姓名（条件是不存在一门课程这个学生没有选修）

2. 查找课程表中的课程（找这个学生没有选修的课）

3. 将这个同学通过 sc 表和 crouse 的课程连接一遍，也就是
   SELECT * FROM SC WHERE Sno = student.sno AND cno = Course.Cno
   找到连接不上的，对应的就是没有选修的课， 这样就找到了一门课这个学生没有选修， 存在没有选修的课，那么该学生被排除掉了

4. 以上只是一次循环，直到student表查完了为止

重点就是对EXISTS的理解，再举几个例子吧

查询没有选课程号为C1课程的学生的姓名

SELECT 姓名
FROM 学生表
WHERE NOT EXISTS
(
    SELECT *
    FROM 选课表
    WHERE 学生表.学号 = 选课表.学号 AND 课程号 = 'C1'
);

查询至少选修了S1所选的全部课程的学生名

SELECT 姓名
FROM 学生表
WHERE NOT EXISTS                     
( 
    SELECT *
    FROM 选课表 AS 选课表X            
    WHERE 选课表X.学号='s1' AND NOT EXISTS            
    (
        SELECT *
        FROM 选课表 AS 选课表Y
        WHERE  学生表.学号 = 选课表Y.学号 AND 选课表X.课程号 = 选课表Y.课程号
    )
);