很早的一個問題了，今天碰到又繞了一下。其實很簡單。

關係模式：

學生（學號，姓名，系別，年齡）

課程（課程號，課程名，學時）

選讀（學號，課程號，成績）

問題：檢索選讀全部課程的學生姓名

select 學生.姓名 from 學生

where not exists(

select * from 課程 where not exists(

select * from 選讀 where 學號=學生.學號 and 課程號=課程.課程號))


意思是

con1:這個學生不會con2。 

con2:他有課沒選。


下面是網上關於這件事的討論，弄個合集防止腦子再發懵。。。

現在我們從後面的子查詢向前分解：


1.所有未選過的課程的資料集：

select * from 課程 where not exists( 

select * from 選讀 where 課程號=課程.課程號)


2.所有沒被某位學號為 @學號 的學生選過的課程的記錄集（@學號學生的未選課程）：

select * from 課程 where not exists( 

select * from 選讀 where 學號
 
[email protected]學號 and 課程號=課程.課程號)

請注意，多出了學號的篩選即，學號[email protected]學號。


3.遍歷每一個主查詢的學號，每一個學號都按第二篩選方法篩選出：沒有未選課程的學生的學號。（不包括在第查詢方法查詢出的“有未學課程的學號的記錄集”中的記錄。)

請注意：用主查詢中的 學生.學號 代替了@學號。

select 學生.姓名 from 學生 

where not exists( 

select * from 課程 where not exists( 

select * from 選讀 where 學號=學生.學號 and 課程號=課程.課程號)) 


這已經是整個查詢語句，可以看出子查詢中用學生.學號替換了第2步中的 @學號，（沒忘了吧，第二步求的是沒有選修全部課程的某個學生）。


用上面的講解方法不知道是不是更好理解一點。


＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝


針對您最後的補充：


為什麼不用

from 學生,課程,選讀？


答：因為from 學生,課程,選讀 也就是

SELECT * FROM 學生,課程,選讀 WHERE .....條件

這樣的型式只能組成內聯接，而內聯接我們只知道，只有三個表按聯接條件都符合才會被選中，而我們要的是有不符合後面兩表的的學生才符合條件，所以用內聯接是不可行的。


要不然where句怎麼可以呼叫三個關係的屬性呢?


答：在SQL SERVER中規定：所有子表都是可以通過表名呼叫其上面任意層次的表中的欄位的。所以，不是隻有內聯接才可以呼叫多個表的屬性。





雙重否定

從最裡面開始執行


select * from 課程 where not exists( 

select * from 選讀 where 學號=學生.學號 and 課程號=課程.課程號)) 

這段是返回某學生沒有選擇的課程，假設返回集a


前面套個not exists的後，

當a有值，即，某學生存在沒有選擇的課程時，整段sql文返回null，





在這裡http://www.blogjava.net/decode360/archive/2009/06/12/282804.html也有解釋。

當a無值，即，某學生不存在沒有選擇的課程時，就是說選擇了全部課程，整段sql文該學生返回姓名