题目:查询选修了全部课程的学生姓名
转换:查询这样的学生,没有一门课是他不选修的
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.为假的情况就是反过来。