SQL语句中带有EXISTS谓词的子查询的理解与使用

EXISTS：代表存在量词。

在SQL中，把具有全称量词的谓词查询问题转换成等价的存在量词的谓词查询予以实现。

如有三个表，Student(Sno,Sname)，Course(Cno,Cname)，SC(Sno,Cno,Score)

问：查询选修了全部课程的学生的姓名。

可看出，这是一个带有全称量词的谓词查询（题中带有“全部”），将其转换为等价的存在量词的谓词查询，即：

不存在一门课程是这个学生没有选修的。

SQL语句实现：（个人套路）

SELECT Sname                            //最终要查询的对象
FROM Student
WHERE NOT EXISTS                        //对应第一个否定词“不存在”
		(SELECT *                       //由EXISTS引出的子查询，SELECT后通常都跟