34數(shù)據(jù)查詢-文庫吧資料
2024-10-20 16:38本頁面
【正文】 法二 SELECT * FROM Student WHERE Sdept= 39。 本例實際上是查詢計算機科學(xué)系中年齡大于 19歲的學(xué)生 SELECT * FROM Student WHERE Sdept= 39。 2 39。 2 39。 1 39。CS39。 2 39。 1 39。 2 39。 1 39。 OR Sage=19； 計算機學(xué)院 數(shù)據(jù)庫原理 并操作 [例 46] 查詢選修了課程 1或者選修了課程 2的學(xué)生。 UNION SELECT * FROM Student WHERE Sage=19； 計算機學(xué)院 數(shù)據(jù)庫原理 并操作 方法二： SELECT DISTINCT * FROM Student WHERE Sdept= 39。 方法一： SELECT * FROM Student WHERE Sdept= 39。 95002 39。 ● 形式化表示： 用 P表示謂詞 “ 學(xué)生 95002選修了課程 y” 用 q表示謂詞 “ 學(xué)生 x選修了課程 y” 則上述查詢?yōu)?: (?y) p ? q 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 等價變換： (?y)p ? q ≡ ? (?y (?(p ? q )) ≡ ? (?y (?(? p∨ q) ≡ ? ?y(p∧ ?q) 變換后語義：不存在這樣的課程 y，學(xué)生 95002選修了 y，而學(xué)生 x沒有選。 SELECT Sname FROM Student WHERE NOT EXISTS （ SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno= AND Cno= ） ； 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 （ 5）用 EXISTS/NOT EXISTS實現(xiàn)邏輯蘊函 (難點 ) SQL語言中沒有蘊函 (Implication)邏輯運算 可以利用謂詞演算將邏輯蘊函謂詞等價轉(zhuǎn)換為： p ? q ≡ ? p∨ q 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 [例 44] 查詢至少選修了學(xué)生 95002選修的全部課程的學(xué)生號碼。 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 例： [例 37]查詢與“劉晨”在同一個系學(xué)習(xí)的學(xué)生。139。 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 [例 42] 查詢沒有選修 1號課程的學(xué)生姓名 。)； 求解過程 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 用連接運算 SELECT Sname FROM Student, SC WHERE = AND = 39。 用嵌套查詢 SELECT Sname FROM Student WHERE EXISTS (SELECT * FROM SC /*相關(guān)子查詢 */ WHERE Sno= AND Cno= 39。則取此。 ● 若 SC中存在這樣的元組，其 Sno值等于此，并且其 Cno= 39。 思路分析： ● 本查詢涉及 Student和 SC關(guān)系。計算機學(xué)院 數(shù)據(jù)庫原理 數(shù)據(jù)查詢 一 、 概述 二 、 單表查詢 三 、 連接查詢 四 、 嵌套查詢 五 、 集合查詢 六、 小結(jié) 計算機學(xué)院 數(shù)據(jù)庫原理 EXISTS謂詞的子查詢 1. EXISTS謂詞 2. NOT EXISTS謂詞 3. 不同形式的查詢間的替換 4. 用 EXISTS/NOT EXISTS實現(xiàn)全稱量詞 5. 用 EXISTS/NOT EXISTS實現(xiàn)邏輯蘊函 計算機學(xué)院 數(shù)據(jù)庫原理 帶有 EXISTS謂詞的子查詢 （ 1） EXISTS謂詞 存在量詞 ? 帶有 EXISTS謂詞的子查詢不返回任何數(shù)據(jù)，只產(chǎn)生邏輯真值 “ true”或邏輯假值 “ false”。 ● 若內(nèi)層查詢結(jié)果非空，則返回真值 ● 若內(nèi)層查詢結(jié)果為空，則返回假值 由 EXISTS引出的子查詢，其目標(biāo)列表達式通常都用 * ，因為帶 EXISTS的子查詢只返回真值或假值，
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1