Sql 双重否定的随笔

学生表student (id学号 Sname姓名 Sdept所在系)
课程表Course (crscode课程号 name课程名)
学生选课表sc (studid学号 crscode课程号 Grade成绩)

题目要求：选出选了所有课程的学生姓名

化简成没有一门课时该学生没有选的，一下是我对改代码的理解，双重否定感觉有些绕。

select sname
from student
/*若没有有一门课时该学生没有选的，则代表选了所有课程*/
where not exists(
/*结合本层中的not exists 
含义是选出课程表中学生没有选的课程*/
select * 
from course
where not exists(
/*宣传学生sno所选的全部课程*/
select *
from sc
where sc.sno=student.sno and cno=course.cno
)
)

总的来说：
最里面一层在student表中选出某学生所选的全部课程，在将这些课程与course表进行连接，若course表的每一个cno在这里都存在，则最里层的not exists 返回false，若某个cno没找到，则返回true
第二层根据返回值来确定select 中的值，若最里层的not exists 是true,怎select 有值，否则无值，表示是不是还有多余的课程是该学生没有选的
最外面就根据学生第二层的not exists返回值来确定是否来选取该学号。

题目要求：选出选了学号为201215122的同学选的所有课程的学生学号

/*下称学号为201215122的同学为a*/
/*
解题思路：
不存某个课程是a选了，而查询的学生没有选，即要查询的同学满足
不存某个课程a选了而自己没选*/
select distinct sno
from sc x
where not exists(
/*查询a选的课程并有个课程a选了，但学号为sno的同学没有选*/
select *
from sc y
where sno='201215122'and not exists(
/*要查询一个课程（因为判断条件 sno = '201215122'所以此课程属于a），
a和自己都选的课程*/
/*本层的含义是查询选了a的课程的同学*/
select *
from sc z
where x.sno=z.sno and y.cno=z.cno 
)
)