第 三 題

這是一道經典的「全稱量詞（For All）」查詢題，在關聯代數中對應「除法（Division）」運算。遇到「所有」這類字眼，在 SQL 中通常有兩種解法：一是使用雙重 NOT EXISTS 將邏輯轉換為「不存在一門 John 開的課，該學生沒有被當」；二是利用 GROUP BY 與 COUNT，比較「學生被當掉的 John 的課程數」是否等於「John 總共開設的課程數」。

看到此題，應立即運用「ER 模型轉換為關聯綱目」的標準規則。先將強實體獨立建表；接著處理 M:N 關聯，必須獨立建表並納入兩端主鍵與關聯屬性；最後處理弱實體與 1:N 識別關聯，弱實體不需獨立的關聯表，而是直接將擁有者（Owner）的主鍵作為外鍵納入，並與自身的部分鍵組成複合主鍵。

遇到 ERD 轉關聯綱目題目，首先將實體與關聯轉換為標準關聯表（Relation）。多對多關聯（Assignment）與弱實體關聯（Dependent）皆會產生外來鍵，接著依據實體完整性（主鍵不可為空）與依賴關係來判斷哪些外來鍵必須加上 Non-Null 限制。

看到題目要求「所有學生」與各種統計數值（總計、平均），應直覺聯想到需使用 LEFT JOIN 保留所有學生紀錄，並搭配 GROUP BY 分組。最後利用聚合函數 SUM() 與 AVG() 計算學分數與分數。