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

　　)

);