摘自：http://blog.csdn.net/zengcong2013/article/details/45820639
今天用到exists，結果代碼居然忘了怎么寫了，這里分享下
1、Student：
| Sno |
Sname |
Ssex |
Sage |
Sdept |
| 200215121 |
李勇 |
男 |
20 |
CS |
| 200215122 |
劉晨 |
女 |
19 |
CS |
| 200215123 |
王敏 |
女 |
18 |
MA |
| 200215124 |
張立 |
男 |
19 |
IS |
2、Course：
| Cno |
Cname |
Cpno |
Ccredit |
| 1 |
5 |
4 |
|
| 2 |
數學 |
|
2 |
| 3 |
信息系統 |
1 |
4 |
| 4 |
6 |
3 |
|
| 5 |
7 |
4 |
|
| 6 |
數據處理 |
|
2 |
| 7 |
PASCAL語言 |
6 |
4 |
3、SC：
| Sno |
Cno |
Credit |
| 200215121 |
1 |
92 |
| 200215121 |
2 |
85 |
| 200215121 |
3 |
88 |
| 200215122 |
2 |
90 |
| 200215122 |
3 |
80 |
例1：查詢所有選修了1號課程的學生的姓名。
解法1：利用exists
首先取Student表中的一個元組，然后在SC表中依次找SC.Sno=該元組的Sno，並且對應的Cno='1'，如果存在，則外層查詢的where子句返回為真，則Student表中的該元組可以輸出。然后依次遍歷Student表中的其他元組。
舉個例子：對於在學生表中學號等於2002151121這個元組，在SC表中第一條記錄即符合條件，然后where 子句返回 true，所以該條元組可以輸出。然后依次遍歷。
select Sname
from Student
where exists
(
select *
from SC
where Sno = Student.Sno AND Cno='1'
);
解法2：利用連接查詢
select Sname
from Student,SC
where Student.Sno=SC.Sno AND SC.Cno='1';
例2：查詢沒有選修1號課程的學生的姓名。
解：
select Sname
from Student
where not exists
(
select *
from SC
where Sno=Student.Sno AND Cno='1'
);
例3：查詢選修了全部課程的學生姓名。
select Sname
from Student
where not exists
(
select *
from Course
where not exists
(
select *
from SC
where Sno=Student.Sno AND
Cno=Course.Cno
) );
查找語義：查詢這樣的學生，沒有一門課程是他不選修的。
查找過程：
首先，選取Student表中的一個元組，然后在依次判斷Course表中的每個元組是否可以輸出，只要有一個課程可以輸出，則最外層查詢的where子句返回為false；而在判斷某個課程是否可以輸出時，則要利用第三層查詢，利用當前的學號和當前的課程號，在SC表中查詢，如果存在，則第二層查詢where子句返回false。至此，每一門課程都不可以輸出時，這個學號對應的元組才可以輸出。表示這個學生選修了全部的課程。
例4：至少選修了學生200215122選修的全部課程的學生號碼。
select distinct Sno
from SC SCX
where not exists
(
select *
from SC SCY
where SCY.Sno='2002151122' AND
not exists
(
select *
from SC SCZ
where SCZ.Sno=SCX.Sno AND
SCZ.Cno=SCY.Cno));
查詢語義：不存在這樣的課程y，學生200215122選修了y，而學生x沒選。
查詢過程：先在SCX表中選一條記錄，比方說第一條，然后再看SCY表中，只有SCY表中全部不能輸出，第一層查詢的where子句才返回true，第一條記錄就可以輸出；所以就要一次查看SCY表中的每一個元組，前三個，因為學號首先不滿足=200215122所以必然不能輸出，第四個的話，就要看其AND后面的not exists返回什么值，而這又取決於第三層查詢中是否存在滿足學號等於SCX.Sno且課程號=SCY.Cno的元組，經查看，有 ，則返回false，所以第四個也不能輸出，第五個類似，所以，第一層查詢的not exists返回true。所以第一條記錄可以輸出。