數(shù)據(jù)庫系統(tǒng)概論-第三章關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言sql(續(xù)1-閱讀頁
2024-11-03 19:43本頁面
【正文】 [例 44]查詢所有選修了 1號(hào)課程的學(xué)生姓名。139。 1 39。139。 SELECT Sname FROM Student WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno = AND Cno=39。)； 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） ? 不同形式的查詢間的替換 ? 一些帶 EXISTS或 NOT EXISTS謂詞的子查詢不能被其他形式的子查詢等價(jià)替換 ? 所有帶 IN謂詞、比較運(yùn)算符、 ANY和 ALL謂詞的子查詢都能用帶EXISTS謂詞的子查詢等價(jià)替換 ? 用 EXISTS/NOT EXISTS實(shí)現(xiàn)全稱量詞 (難點(diǎn) ) SQL語言中沒有全稱量詞 ? （ For all） 可以把帶有全稱量詞的謂詞轉(zhuǎn)換為等價(jià)的帶有存在量詞的謂詞： (?x)P ≡ ? (? x(? P)) 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） 例： [例 39]查詢與“劉晨”在同一個(gè)系學(xué)習(xí)的學(xué)生。 SELECT Sname FROM Student WHERE NOT EXISTS （ SELECT * FROM Course WHERE NOT EXISTS (SELECT * FROM SC WHERE Sno= AND Cno= ） ） ； 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） 用 EXISTS/NOT EXISTS實(shí)現(xiàn)邏輯蘊(yùn)函 (難點(diǎn) ) ? SQL語言中沒有蘊(yùn)函 (Implication)邏輯運(yùn)算 ? 可以利用謂詞演算將邏輯蘊(yùn)函謂詞等價(jià)轉(zhuǎn)換為： p ? q ≡ ? p∨ q 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） [例 47]查詢至少選修了學(xué)生 202115122選修的全部課程的學(xué)生號(hào)碼。 ? 形式化表示： 用 P表示謂詞 “學(xué)生 202115122選修了課程 y” 用 q表示謂詞 “學(xué)生 x選修了課程 y” 則上述查詢?yōu)?: (?y) p ? q 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） ? 等價(jià)變換： (?y)p ? q ≡ ? (?y (?(p ? q )) ≡ ? (?y (?(? p∨ q) )) ≡ ? ?y(p∧ ?q) ? 變換后語義：不存在這樣的課程 y，學(xué)生 202115122選修了y，而學(xué)生 x沒有選。 202115122 39。 方法一： SELECT * FROM Student WHERE Sdept= 39。 UNION SELECT * FROM Student WHERE Sage=19； ? UNION：將多個(gè)查詢結(jié)果合并起來時(shí)，系統(tǒng)自動(dòng)去掉重復(fù)元組。CS39。 SELECT Sno FROM SC WHERE Cno=39。 UNION SELECT Sno FROM SC WHERE Cno= 39。； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 50] 查詢計(jì)算機(jī)科學(xué)系的學(xué)生與年齡不大于 19歲的學(xué)生的交集 SELECT * FROM Student WHERE Sdept=39。 INTERSECT SELECT * FROM Student WHERE Sage=19 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） ?[例 50] 實(shí)際上就是查詢計(jì)算機(jī)科學(xué)系中年齡不大于 19歲的學(xué)生 SELECT * FROM Student WHERE Sdept= 39。 AND Sage=19； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 51] 查詢選修課程 1的學(xué)生集合與選修課程 2的學(xué)生集合的交集 SELECT Sno FROM SC WHERE Cno=39。 INTERSECT SELECT Sno FROM SC WHERE Cno=39。； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 51]實(shí)際上是查詢既選修了課程 1又選修了課程 2 的學(xué)生 SELECT Sno FROM SC WHERE Cno=39。 AND Sno IN (SELECT Sno FROM SC WHERE Cno=39。)； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 52] 查詢計(jì)算機(jī)科學(xué)系的學(xué)生與年齡不大于 19歲的學(xué)生的差集。CS39。 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 52]實(shí)際上是查詢計(jì)算機(jī)科學(xué)系中年齡大于 19歲的學(xué)生 SELECT * FROM Student WHERE Sdept= 39。 AND Sage19； 起釘上傳 :113608078 Mail: 數(shù)據(jù)查詢 ? 單表查詢 ? 連接查詢 ? 嵌套查詢 ? 集合查詢 ? Select語句的一般形式 起釘上傳 :113608078 Mail: SELECT語句的一般格式 SELECT [ALL|DISTINCT] 目標(biāo)列表達(dá)式 [別名 ] [ ， 目標(biāo)列表達(dá)式 [別名 ]] … FROM 表名或視圖名 [別名 ] [ ， 表名或視圖名 [別名 ]] … [WHERE 條件表達(dá)式 ] [GROUP BY 列名 1 [HAVING 條件表達(dá)式 ]] [ORDER BY 列名 2 [ASC|DESC] 起釘上傳 :113608078 Mail: 下課了。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1