【数据库作业8】SQL练习5 - SELECT（嵌套查询EXISTS、集合查询、基于派生表的查询）

• 带有EXISTS谓词的子查询
• 集合查询
• 基于派生表的查询
• Select总结

学完查询啦！！嘻嘻嘻这周系统看一遍前边，写了博客真的蛮方便！那俺开始了。

---

带有EXISTS谓词的子查询

EXISTS谓词：存在量词 $\exists$
若内层查询结果非空，则外层的WHERE子句返回真值
若内层查询结果为空，则外层的WHERE子句返回假值

NOT EXISTS谓词
若内层查询结果非空，则外层的WHERE子句返回假值
若内层查询结果为空，则外层的WHERE子句返回真值

注⬇
带有EXISTS谓词的子查询不返回任何数据，只产生逻辑真值“true”或逻辑假值“false”。
由EXISTS引出的子查询，其目标列表达式通常都用 * ，因为带EXISTS的子查询只返回真值或假值，给出列名无实际意义。

【例3.60】查询所有选修了1号课程的学生姓名。
本查询涉及Student和SC关系，
在Student中依次取每个元组的Sno值，用此值去检查SC表，
若SC中存在这样的元组，其Sno值等于此Student.Sno值，并且其Cno= ‘1’，则取此Student.Sname送入结果表。

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

【例3.61】查询没有选修1号课程的学生姓名。
在Student中依次取每个元组的Sno值，用此值去检查SC表，
若SC中存在这样的元组，其Sno值等于此Student.Sno值，并且其Cno= ‘1’（内层查询为非空），则WHERE取假，结果不符合。
若SC中不存在这样我元组（内层为空），WHERE取真，这时取此Student.Sname送入结果表。

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

不同形式的查询间的替换
一些带EXISTS或NOT EXISTS谓词的子查询不能被其他形式的子查询等价替换。
所有带IN谓词、比较运算符、ANY和ALL谓词的子查询都能用带EXISTS谓词的子查询等价替换。

【例 3.55】查询与“刘晨”在同一个系学习的学生。
可以用带EXISTS谓词的子查询替换：
本查询涉及Student S1 S2关系，
在Student S1中依次取每个元组的Sno值，用此值去检查S2表，
若S2中的元组的Sdept值等于此S1.Sdept值，并且S2.name= ‘刘晨’，则取此S1.Sno,Sname,Sdept送入结果表。

SELECT Sno,Sname,Sdept
FROM Student S1
WHERE EXISTS(SELECT *
             FROM Student S2
             WHERE S2.Sdept=S1.Sdept AND S2.Sname='刘晨');

★★★用EXISTS/NOT EXISTS实现全称量词★★★
SQL语言中没有全称量词 $\forall$ （For all）
可以把带有全称量词的谓词转换为等价的带有存在量词的谓词：
$(\forall x)$