数据库超话（四）

今天遇到一条SQL语句，久久没能理解，在网上搜索大量资料，才弄懂了这条语句的含义，在此记录一下。

select SN from S
where (not exists (select * form C
                  where not exists (select * from SC
                                  where Sno = S.Sno and Cno = C.Cno)

我们看到这是含有not exists 语句的相关子查询。
解释一：
语句的执行顺序为类似为两层for循环，第一层for循环为S表的记录，第二层for循环为C表中的记录。下面我们具体分析。
当外层S->S1 ，
进入内层C->C1
1）判断C1是否有人选的课，若C1没人选，保留C1，有人选，去掉C1，
C->C2
2）判断C2是否有人选的课，若C2没人选，保留C2，有人选，去掉C2，
如此反复，留下的是没有人选择的课程
遍历完C表，进入外层判断
3）判断这个学生选的课中有没有C1，若没有C1，保留S1，有C1,去掉S1
S-S2
如此反复
那么，选出了选修所有课的学生
第一个解释2我认为逻辑山存在问题
解释2：
exists和 not exists 谓词，首先是从父表取出记录，去匹配where后面的条件，这一点和in不同，in是先从子表匹配出的记录作为父表的查询依据。
那么，分析这句话，
select SN from S 选出一个学生
where (not exists 他不存在 不存在什么呢
select * form C 不存在一门课
where not exists 这门课不存在 不存在什么呢
select * from SC where Sno = S.Sno and Cno = C.Cno 它在选课表里不存在
也就是说，这句话的意思是：
选出了学生 ，这些学生不存在选课表里不存在的课
即选出了选修所有课的学生