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

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

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

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

整体步骤：

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

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

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

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

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

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

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