SQL语言EXIST的用法与false的传递过程

题目：查询选修了全部课程的学生姓名

转换：查询这样的学生，没有一门课是他不选修的 

SELECT Sname
FROM Student
WHERE NOT EXISTS
       (SELECT *
        FROM Course
        WHERE NOT EXISTS
               (SELECT*
                FROM  SC
               WHERE Sno=Student.Sno
                     AND Cno=Course.Cno));

 

 

1.明确：对于 not exists 若子查询（内层查询）为空也就是假，那么外层where子句返回为真，否则返回为假。

2.明确：最外层的select语句是逐条查询的，在student表里面刚开始就只指向第一条数据，就像双for语句一样。

执行过程：

1.外层sql先在student表指向第一组数据（可能是元组）

2，准备执行第一个where里的select，但是必须得跳转到第二个where里的select，因为机器识别关键字的顺序就是见到select先看看有没有from（把表存入内存），找到之后再找找有没有where（决定着是否返回select）

详情参见另一个人关于执行过程的解释

3.这时假如某学生A是student的第一个记录，且的确选了全部课程，在 WHERE Sno=Student.Sno  AND Cno=Course.Cno情况下就是该学生学号对应选课人的学号，该学生的选课号对应所有课程号（只有该学生的课程号与所有课程一一对应才能完成查询，也就是返回false）

4.返回了false 则 (SELECT *
        FROM Course
        WHERE NOT EXISTS

他的where后相当于一个虚表，假假为真，最终到最上层的时候就返回真值，并且把student第一条记录，保存下来，准备查询名字。

5.为假的情况就是反过来。