s(s#,sname,age,sex)
sc(s#,c#,grade)
c(c#,cname,teacher)
select sname from s where not exists (
select * from c where not exists(
select * from sc where sc.s#=s.s# and sc.c#=c.c#) )
exists是用来判断是否存在的,当exists(查询)中的查询存在结果时则返回真,否则返回假。not exists则相反。
exists做为where 条件时,是先对where 前的主查询询进行查询,然后用主查询的结果一个一个的代入exists的查询进行判断,如果为真则输出当前这一条主查询的结果,否则不输出。
上面这个列子,先查询出s表的结果,然后将结果代入到s.s#,然后再查询出c表中的结果,再一条一条的代入,感觉有点像for的嵌套循环,第一轮外循环中,满足内部的not exists条件的c表中的结果集被保留,然后再判断外部的not exists,这次判断是根据内部C表中被保留的结果集的情况,如果结果集为空,则输出当前这一条S表的结果集;然后再进行第二轮大的循环,即取出s表的第二条结果代入运算。
以上的sql还可以这样理解,最内部的 select * from sc where sc.s#=s.s# and sc.c#=c.c#是查询出所有已经选择过课程的学生及相应课程, select * from c where not exists则是所有没有被选择的课程,在这个基础上的 select sname from s where not exists 则是选取所有没有未选择课程的学生,即选择了所有课程的学员名称。