数据库系统概论第三版里面关于EXITS用法的一个问题

[waterwebsphere]

有学生表Student，选课表SC和课程表Course，要求选修了全部课程的学生的姓名，教材P113是这样写的，有没有人能替我解释一下怎么实现的？
Student（Sno,Sname,Ssex,Sage,Sdept）
SC(Sno,Cno,Grade)
Course(Cno,Cname,Cpno,Ccredit)
程序：
SELECT Sname
FROM Student
WHERE NOT EXISTS
（SELECT *
FROM Course
WHERE NOT EXISTS
(SELECT *
FROM SC
WHERE Sno= Student.Sno
AND Cno= Course.Cno）

在线等，谢谢了！！

[liangpei2008]

应该是萨师瑄的书吧，在书P112页中间一段话说得十分详细，再详细看一下吧

[filebat]

关系代数的除法哦

[waterwebsphere]

如果Where子句里面只嵌套了一层的话我还能看懂，但是这里是两层我就有点迷糊了，请楼上的能具体解释一下执行过程，谢谢了！！

[atmzz]

少了个括号，问？在那