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