數(shù)據(jù)庫系統(tǒng)概論-第三章關(guān)系數(shù)據(jù)庫標(biāo)準(zhǔn)語言sql(續(xù)1-資料下載頁
2025-10-10 19:43本頁面
【正文】 學(xué)生號碼。 解題思路： ? 用邏輯蘊(yùn)函表達(dá)：查詢學(xué)號為 x的學(xué)生，對所有的課程 y，只要202115122學(xué)生選修了課程 y，則 x也選修了 y。 ? 形式化表示： 用 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沒有選。 起釘上傳 :113608078 Mail: 帶有 EXISTS謂詞的子查詢 (續(xù)） ? 用 NOT EXISTS謂詞表示 ： SELECT DISTINCT Sno FROM SC SCX WHERE NOT EXISTS (SELECT * FROM SC SCY WHERE = 39。 202115122 39。 AND NOT EXISTS (SELECT * FROM SC SCZ WHERE = AND =))； 起釘上傳 :113608078 Mail: 數(shù)據(jù)查詢 ? 單表查詢 ? 連接查詢 ? 嵌套查詢 ? 集合查詢 ? Select語句的一般形式 起釘上傳 :113608078 Mail: 集合查詢 ?集合操作的種類 ? 并操作 UNION ? 交操作 INTERSECT ? 差操作 EXCEPT ?參加集合操作的各查詢結(jié)果的列數(shù)必須相同；對應(yīng)項(xiàng)的數(shù)據(jù)類型也必須相同 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 48] 查詢計(jì)算機(jī)科學(xué)系的學(xué)生及年齡不大于 19歲的學(xué)生。 方法一： SELECT * FROM Student WHERE Sdept= 39。CS39。 UNION SELECT * FROM Student WHERE Sage=19； ? UNION：將多個(gè)查詢結(jié)果合并起來時(shí)，系統(tǒng)自動(dòng)去掉重復(fù)元組。 ? UNION ALL：將多個(gè)查詢結(jié)果合并起來時(shí)，保留重復(fù)元組 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） 方法二： SELECT DISTINCT * FROM Student WHERE Sdept= 39。CS39。 OR Sage=19； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 49] 查詢選修了課程 1或者選修了課程 2的學(xué)生。 SELECT Sno FROM SC WHERE Cno=39。 1 39。 UNION SELECT Sno FROM SC WHERE Cno= 39。 2 39。； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 50] 查詢計(jì)算機(jī)科學(xué)系的學(xué)生與年齡不大于 19歲的學(xué)生的交集 SELECT * FROM Student WHERE Sdept=39。CS39。 INTERSECT SELECT * FROM Student WHERE Sage=19 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） ?[例 50] 實(shí)際上就是查詢計(jì)算機(jī)科學(xué)系中年齡不大于 19歲的學(xué)生 SELECT * FROM Student WHERE Sdept= 39。CS39。 AND Sage=19； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 51] 查詢選修課程 1的學(xué)生集合與選修課程 2的學(xué)生集合的交集 SELECT Sno FROM SC WHERE Cno=39。 1 39。 INTERSECT SELECT Sno FROM SC WHERE Cno=39。2 39。； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 51]實(shí)際上是查詢既選修了課程 1又選修了課程 2 的學(xué)生 SELECT Sno FROM SC WHERE Cno=39。 1 39。 AND Sno IN (SELECT Sno FROM SC WHERE Cno=39。 2 39。)； 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 52] 查詢計(jì)算機(jī)科學(xué)系的學(xué)生與年齡不大于 19歲的學(xué)生的差集。 SELECT * FROM Student WHERE Sdept=39。CS39。 EXCEPT SELECT * FROM Student WHERE Sage =19。 起釘上傳 :113608078 Mail: 集合查詢（續(xù)） [例 52]實(shí)際上是查詢計(jì)算機(jī)科學(xué)系中年齡大于 19歲的學(xué)生 SELECT * FROM Student WHERE Sdept= 39。CS39。 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: 下課了。 休息一會(huì)兒。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1