我们使用之前的三个表来模拟一下,加深理解。
s1 c1 如果没选,那么能查出来c1 主查询不成立。但是选了,所以
子查询的not exists不成立,没有查出来c1,继续c2。
s1 c2 这里和上面同理,因为选了所以没有查出c2。然后因为子查询
的c1和c2都查完了,发现啥也没查出来,说明这人啥都选了,于是
结果有他s1。
s2 c1 有,子查询未查出。
s2 c2 SC中没有,所以子查询查出了c2,主查询not exists不成立。
s3 c1
s3 c2
下面两个同理。
所以查询是找到一个学生,没有一门课它没有选!
not exists是相关子查询,子查询和主查询之间存在着关系。在执行的时候可以把它当成C++/Java语言中的for循环,从最外层循环到最内层,并且依次循环,每次都判断条件是否成立。如果条件不成立,直接break;如果一直成立,到回到最外层for的时候该结果就会放到最后的结果集中!
扩展题:
理解了上面的话,这个就很好理解了:002选的x全都选了,如果没有全选,则不符合题意。