关于SQL中not exists的双重否定的一些记录

作者：kuikui

关于SQL中not exists的双重否定的一些记录

室友在学习数据库时遇到了not exists双重否定的一些问题 在csdn上学习大佬们的理解办法 借此机会回顾一下

eg.表结构如下

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

选出选了所有课程的学生姓名

选修了全部课程的学生姓名以及学号
大致化简成没有一门课时该学生没有选的，一下是我对改代码的理解，双重否定感觉有些绕。

select sno,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
								)
				)

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

选出选了学号为95001的同学选的所有课程的学生学号

根据格摩根定律问题转化为不存某个课程a选了而b没选

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