SELECT SN
FROM S
WHERE NOT EXISTS(SELECT *
FROM C
WHERE NOT EXISTS(SELECT *
FROM SC
WHERE SNO = S.SNO AND CNO = C.CNO))
今天在看數據庫的時候遇到這個問題
想了很久，腦子越想越亂。。。
連續兩個NOT EXISTS,怎么就出來了選修了全部課程的學生呢？
然后翻到大神的文章，感謝！
現在懂了
---------------------------------------------------原文如下------------------------------------------------------------------------
首先頭腦中有三點概念：
1. EXISTS 子查詢找到的提交
NOT EXISTS 子查詢中 找不到的提交
說明：不要去翻譯為存在和不存在，把腦袋搞暈。
2. 建立程序循環的概念，這是一個動態的查詢過程。如 FOR循環 。
3. Exists執行的流程Exists首先執行外層查詢，再執行內存查詢，與IN相反。流程為首先取出外層中的第一元組，再執行內層查詢，
將外層表的第一元組代入，若內層查詢為真，即有結果時。返回外層表中的第一元 組，接着取出第二元組，執行相同的算法。一直到掃描完外層整表 。
for(int i =0; i<>EOFout;i++)
{
for (int j = 0 ; j<EOFint,j++)
}
然后再來看一個例子： 三張表 學生表student (Sno,Sname), 課程表course (Cno,Cname) 選課表SC(Sno,Cno)
要求查詢出 ：選修了全部課程的學生姓名
我的思路：
首先學生的選課信息存在於SC表中， 要想知道某個學生是否選修了全部課程，至少我們需要知道一共有
幾門課程，這是首要的條件。其次，學生選修了與否，我們又要掃描SC全表，統計出選修了所有課程的
學生號，最后在STUDENT表中根據學生號打出姓名 。
語句如下： (已測試)
select Sname from student
where Sno IN
(select Sno from SC
group by Sno //根據Sno分組，統計每個學生選修了幾門課程。如果等於course的總數，就是我們要找的Sno
having count(*) = (select count(*) from course )) //統計course中共有幾門課程
另一種思路：
引入：將題目換為 查找學號為 00003 沒有選修的科目
思路：我們可以將已知學號代入，把每一個科目代入（循環），這將形成1*count(*)種組合。
將這組成作為條件，一一與SC表種進行比對，找不到匹配的我們提交 。
select Cname from course where
not exists //找不到的組合，提交course
(select * from SC where course.cno = cno and sno = ''00002'')
//在SC中匹配
換個題目： 查找沒有 沒有選修科目的學生姓名
思路：學號未知 ， 科目未知，說明有兩個未知變量。應該有兩個EXISTS。我們可以掃描
student 和 course共有 s * c 中組合，將這些組合與SC的每一項進行匹配，注意s*c組合已經包含所
有可能。如果全部找到 ，就說明已經選修了全部課程。找不到就說明有課程沒選修 。再將沒選修的的
提交給上一exists 循環 。若上一exists 不存在的再提交給外循環。
select Sname from student
where NOT exists //
(select * from course
where NOT exists //不存在的提交給course
(select * from SC where
Sno = student.sno and cno = Course.Cno)) // 代入兩個未知變量
回頭看，就是我們第一個引出的題目： 選修了全部課程的學生姓名
最后詳細回答你的問題：數據庫SQL語句中 查詢選修了全部課程的學生的學號和姓
查詢選修了全部課程的學生姓名。
SELECT Sname
FROM Student
WHERE NOT EXISTS
（SELECT *
FROM Course
WHERE NOT EXISTS
(SELECT *
FROM SC
WHERE Sno= Student.Sno
AND Cno= Course.Cno）；
理解如下： 查詢選修了全部課程的學生姓名。
不用管怎么樣，第一個select 必定是在 student 表里選 sname 既：
SELECT Sname
FROM Student
加上條件即： where
條件是什么呢？ 條件就是: 查詢選修了全部課程的
因為沒有（任意一個)謂詞，只能用 EXISTS 或者 NOT EXISTS 來表示。這點理解吧？
所以要把條件翻譯成 : 不存在一門課程這個學生沒有選修
where后面就是 不存在（NOT EXISTS) (
一門課程這個學生沒有選修
)
接下來就是把Course表中的課程依次拿出來找出沒有選修的
怎么找呢？ 因為 NOT EXISTS 子查詢中找不到的提交
另外你要明白 NOT EXISTS 查詢都是相關查詢
所以只要把 在最后一個select 中
WHERE Sno= Student.Sno AND Cno= Course.Cno）；
就是將這個同學通過 SC 表 和 Crouse的 課程連接一遍，找到連接不上的，即： 沒有選修的， 這樣就找到了一門課這個學生沒有選修， 存在沒有選修的課，那么該學生被pass掉了，一次進行一個同學的判斷 。
若你學過程序編程，可以看下面的內容， 若沒有則可忽略。
上述是理解是數據庫系統內部的實現，可以用for循環表示
for(i=1; i<student.length( 學生的總人數); i++){
for(i=j;j<Crouse.length(總的課門數); j++){
條件就是：
沒有一門課沒有選修
}
}
最后你找記住
1. 第一個select 就是 你要選的就是 學生
SELECT Sname
FROM Student
2. 第二個 select 就是 課程
3. 第三個select 就是 學生和課程發生關系的表 SC選修表
讓他們連接起來
固定的模式 1 你要的結果的表 學生
2 滿足條件的表 課程表
3 產生關系的表 選修表
where 通過選修表把他們連接起來
============================
查詢select----存在量詞查詢
exists代表存在量詞ョ，該查詢結果沒有值，只有邏輯值真true和邏輯假false兩個值。
ex41：查詢所有選修了001課程的學生名單
select sname
from student a
where exists (
select *
from sc b
where a.sno=b.sno and cno='001')
ex42：查詢沒有選修了001課程的學生名單
select sname
from student a
where not exists (
select *
from sc b
where a.sno=b.sno and cno='001')
ex43：查詢選修了所有課程的學生名單。
由於SQL中沒有全稱量詞，可以這樣理解：查詢這樣的學生，沒有一門課程他沒有選
select sname
from student a
where not exists (
select *
from course b
where not exists (
select *
from sc c
where a.sno=c.sno and c.cno=b.cno))
注意：SQL沒有蘊涵謂詞，可以使用等價變換進行轉換
p→q ≡ ┑p∨q
ex43：查詢至少選修了學生95002選修的全部課程的學生名單。
將查詢進行變換：
p表示的謂詞：95002選修了課程y
q表示的謂詞：學生x選修了課程y
該查詢轉換為：( y)p→q
進一步轉換：( y)p→q ≡
┑(ョy( ┑(p→q))) ≡ ┑(ョy( ┑(┑p∨q)))
≡ ┑ョy(p∧q) 德模根定律
它所表達的含義為：不存在這樣的課程y，95002選修了y而x沒有選，SQL語句如下：
select sname,sno
from student a
where sno <> '95002' and not exists (
select *
from sc b
where sno='95002' and not exists (
select *
from sc c
where a.sno=c.sno and c.cno=b.cno))
原文地址：http://www.cnblogs.com/losesea/archive/2012/10/10/2718093.html