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

要用到的知识点：

[例 3.60]查询所有选修了1号课程的学生姓名

SELECT Sname
 FROM Student
 WHERE EXISTS(SELECT* 
              FROM SC
              WHERE Sno=Student.Sno AND Cno='1');
 //在Student中依次取每个元组的Sno值，用此值去检查SC表
 //若SC中存在这样的元组，其Sno值等于此Student.Sno值，并且其Cno=‘1’,则取此Student.Sname送入结果表。

[例 3.61]查询没有选修1号课程的学生姓名。

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

用EXISTS/NOT EXISTS实现全称量词 SQL语言中没有全称量词（For all）
可以把带有全称量词的谓词转换为等价的带有存在量词的谓词。 在这里类比离散数学的德摩根定律来实现“存在”和“全部”的转换

[例 3.62]查询选修了全部课程的学生姓名。

//可等价为‘没有一门课程是他没有选修的’，NOT EXISTS起的作用是将错误结论的真值颠倒
SELECT Sname
FROM Student
WHERE NOT EXISTS(SELECT*
                 FROM Course
                 WHERE NOT EXISTS
                           (SELECT*
                            FROM Course
                            WHERE Sno=Student.Sno
                            AND Cno=Course.Cno
                            )
                   )

[例 3.63]查询至少选修了学生201215122选修的全部课程的学生号码

“一个同学A选了另外一个同学B的全部课程”可以理解为“不存在A选择的课程是B没选的”.
内层是两个条件“这个同学是B”和“这个同学没有选择B的课程”，在外面的NOT
EXISTS的作用下，只满足一个条件即可，所以用AND连接，得到的满足条件结果要么是“这个同学是B，选择了B的全部课程”或者是“这个同学不是B，选择了B的全部课程”

SELECT DISTINCT Sno
FROM SC SCX
WHERE NOT EXISTS(SELECT*
                 FROM SC SCY
                 WHERE SCY.Sno='201215122' AND
                 NOT EXISTS(SELECT*
                            FROM SC SCZ
                            WHERE SCZ.Sno=SCX.Sno AND
                            SCZ.Cno=SCY.Cno));
//不存在A选择的课程是B没选的

[例 3.64]查询计算机科学系的学生及年龄不大于19岁的学生。

SELECT *
FROM Student
WHERE Sdept= 'CS'
UNION
SELECT *
FROM Student
WHERE Sage<=19;

[例 3.65] 查询选修了课程1或者选修了课程2的学生。

SELECT Sno
FROM SC
WHERE Cno=' 1 '
UNION
SELECT Sno
FROM SC
WHERE Cno= ' 2 ';

[例 3.66] 查询计算机科学系的学生与年龄不大于19岁的学生的交集。

SELECT *
FROM Student
WHERE Sdept='CS' 
INTERSECT
SELECT *
FROM Student
WHERE Sage<=19 

[例 3.67] 查询既选修了课程1又选修了课程2的学生

SELECT Sno
FROM SC
WHERE Cno=' 1 ' 
INTERSECT
SELECT Sno
FROM SC
WHERE Cno='2 ';

[例 3.68] 查询计算机科学系的学生与年龄不大于19岁的学生的差集。

SELECT *
FROM Student
WHERE Sdept='CS'
EXCEPT
SELECT  *
FROM Student
WHERE Sage <=19;

[例 3.60] 查询所有选修了1号课程的学生姓名。

SELECT Sname
    FROM     Student,  
                   (SELECT Sno FROM SC WHERE Cno=' 1 ') AS SC1
    WHERE  Student.Sno=SC1.Sno;