1、Student：

2、Course：

3、SC：

例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。所以第一條記錄可以輸出。