《用实例学习SQL》专题篇：带有（not）exists 谓词的子查询（2）

相关表
这次我们要通过存在量词来表述SQL中没有的全称量词。
上篇中我们讲到的题目是：
选修了所有课程的学生姓名
当然我们可以通过嵌套查询写出来，如下：

select Sname
from Student join (select Sno 
				  from Sc 
                  group by Sno 
                  having count(*) = 
							(select count(*) 
                            from Course)
				) as newT
on Student.Sno = newT.Sno
# 这个好像更好理解一点，hhhh。

不过我们这篇讲的是将全称量词转化为存在量词，依据题意我们可以通过自然语言将其转化为没有一门课程没有选修的学生

select Sname
from Student
where not exists
			(select *
			from Course
			where not exists
						(select *
						from Sc
						where Sno = Student.Sno and Cno = Course.Cno);
#没有一门课程没有选修的学生

这一段SQL查询语句的执行过程：
第一步：从Student表中取出一个元组①，将①中的Sno值作为parameterF传进子查询中作为参数
第二步：从第一层子查询中的Course表中找到一个元组②，将②的Cno的值作为parameterS传到最里层的查询中
第三步：进行最里层的查询。
（注意：我们从最外层传进来的Sno一直等到Course的所有元组都比较完毕了才会进行上一层的判断。）