R/S 就是找出R中把
S里所有属性值
都包含的那个属性值
查询选修了全部课程的学生姓名：
第一种：
理解为：查询一个人的姓名，这个人不存在课程没选择。
思路：
1.拿出Student表的第一行数据
2.拿出Course表的第一行数据
3.拿出SC表的第一行数据 (其实这个表就是用来与前两个表进行对比判断的)
for(循环从Student表拿一行学生数据){
for(循环从Course表拿一行课程信息){
for(循环在SC表拿一行进行比对){
SC表中的这条数据判断：
SC.Sno == Student.Sno ， SC.Cno == Course.Cno;
/*是否SC表中的学号 = Student表中的学号 且
SC表中的Cno = Course表中的Cno*/
}
}
}
sql语句：
SELECT Sname /*查询一个学生的学号 （在Student表中循环取学生信息）*/
FROM Student
WHERE NOT EXISTS( /*不存在课程 (在Course中循环取所有课程信息)*/
SELECT *
FROM Course
WHERE NOT EXISTS( /*没选修 (在SC表中循环比对) */
SELECT *
FROM SC
WHERE SC.Sno = Student.Sno AND SC.Cno = Course.Cno
)
);
结果：选择出学生的姓名，这个学生所有课程都选修了
第二种：
思路：
查询一个学生的姓名，该学生选修课的门数等于所有课程的门数
逆推：查询一个学生的姓名，姓名怎么来？
通过Student的学号得到，学号怎么得到？
通过在SC表中Sno分组判断该学生的选修的课程门数是否等于所有课程的门数得到，所有课程门数如何得到？
通过在Course表中COUNT(*)得到
SQL语句:
SELECT Sname
FROM Student
WHERE Sno in (
SELECT Sno
FROM SC
GROUP BY Sno
HAVING COUNT(*) = ( /*该学生的选修的课程门数 = 所有课程的门数*/
SELECT COUNT(*) /*所有课程的门数*/
FROM Course
)
);