【正文】 2 b2 c1 a1 b2 c2 a2 b2 c1 a1 b3 c2 a2 b2 c1 a2 b2 c1 關(guān)系代數(shù) ? 傳統(tǒng)的集合運(yùn)算 ? 專(zhuān)門(mén)的關(guān)系運(yùn)算 專(zhuān)門(mén)的關(guān)系運(yùn)算 ? 選擇 ? 投影 ? 連接 ? 除 1. 選擇（ Selection） ? 1) 選擇又稱(chēng)為限制 （ Restriction） ? 2) 選擇運(yùn)算符的含義 – 在關(guān)系 R中選擇滿(mǎn)足給定條件的諸元組 σF(R) = {t|t?R∧ F(t)= 39。} – F：選擇條件 ， 是一個(gè)邏輯表達(dá)式 ， 基本形式為： [?( ] X1θY1 [ )][φ [?( ] X2θY2 [ )]]… ? θ：比較運(yùn)算符 （ ＞ ， ≥， ＜ ， ≤， ＝或 ） ? X1， Y1等：屬性名 、 常量 、 簡(jiǎn)單函數(shù)；屬性名也可以用它的序號(hào)來(lái)代替； ? φ：邏輯運(yùn)算符 （ ∧ 或 ∨ ） ? [ ]：表示任選項(xiàng) ? … ：表示上述格式可以重復(fù)下去 選擇（續(xù)） ? 3) 選擇運(yùn)算是從行的角度進(jìn)行的運(yùn)算 ? 4) 舉例 設(shè)有一個(gè)學(xué)生 課程數(shù)據(jù)庫(kù) ， 包括學(xué)生關(guān)系Student、 課程關(guān)系 Course和選修關(guān)系 SC。IS39。IS39。 AθB tr ts 連接 (續(xù) ) ? 3）兩類(lèi)常用連接運(yùn)算 – 等值連接（ equijoin） ? 什么是等值連接 – θ為“＝”的連接運(yùn)算稱(chēng)為等值連接 ? 等值連接的含義 – 從關(guān)系 R與 S的廣義笛卡爾積中選取 A、 B屬性值相等的那些元組 ， 即等值連接為： R S = { | tr ?R∧ ts ?S∧ tr[A] = ts[B] } A=B tr ts 連接 (續(xù) ) – 自然連接 （ Natural join） ? 什么是自然連接 – 自然連接是一種特殊的等值連接 187。在結(jié)果中把重復(fù)的屬性列去掉 ? 自然連接的含義 R和 S具有相同的屬性組 B R S = { | tr ?R∧ ts ?S∧ tr[B] = ts[B] } tr ts 連接 (續(xù) ) ? 4） 一般的連接操作是從行的角度進(jìn)行運(yùn)算 。 AθB R S 連接 (續(xù) ) ? 5）舉例 [例 5] A B C a1 b1 5 a1 b2 6 a2 b3 8 a2 b4 12 B E b1 3 b2 7 b3 10 b3 2 b5 2 R S 連接 (續(xù) ) R S A C E a1 b1 5 b2 7 a1 b1 5 b3 10 a1 b2 6 b2 7 a1 b2 6 b3 10 a2 b3 8 b3 10 C＜ E 連接 (續(xù) ) 等值連接 R S = A C E a1 b1 5 b1 3 a1 b2 6 b2 7 a2 b3 8 b3 10 a2 b3 8 b3 2 連接 (續(xù) ) 自然連接 R S A B C E a1 b1 5 3 a1 b2 6 7 a2 b3 8 10 a2 b3 8 2 4. 除（ Division） ? 1） 除運(yùn)算的含義 – 給定關(guān)系 R (X， Y) 和 S (Y， Z)， 其中 X， Y， Z為屬性組 。 R與 S的除運(yùn)算得到一個(gè)新的關(guān)系 P(X)， P是 R中滿(mǎn)足下列條件的元組在 X屬性列上的投影：元組在 X上分量值 x的象集 Yx包含 S在 Y上投影的集合 。 S = {tr [X] | tr ? R∧ πY (S) ? Yx } Yx： x在 R中的象集 ， x = tr[X] 除 (續(xù) ) ? 2） 除操作是同時(shí)從行和列角度進(jìn)行運(yùn)算 ? 3） 舉例 [例 6] 247。 S A a1 R S 除 (續(xù) ) 分析： –在關(guān)系 R中 ， A可以取四個(gè)值 {a1， a2， a3， a4}。 S ={a1} 5．綜合舉例 以學(xué)生 課程數(shù)據(jù)庫(kù)為例 [例 7] 查詢(xún)至少選修 1號(hào)課程和 3號(hào)課程的學(xué)生號(hào)碼 。 K Cno 1 3 綜合舉例 (續(xù) ) ?例 7續(xù) (SC) 95001象集 {1， 2， 3}； 95002象集 {2， 3} πCno(K)={1， 3} 于是： (SC)247。 πSno（ σCno=39。（ SC）） ＝ ｛ 95001， 95002｝ 綜合舉例 (續(xù) ) [例 9] 查詢(xún)至少選修了一門(mén)其直接先行課為 5號(hào)課程的課程的學(xué)生姓名 。539。539。539。 πSno， Cno（ SC） 247。 GET W () [例 2] 查詢(xún)所有學(xué)生的數(shù)據(jù) 。 GET W (， ): =39。∧ 20 （ 3）帶排序的檢索 ? 格式 GET 工作空間名 （ 表達(dá)式 1） [： 操作條件 ] DOWN/UP 表達(dá)式 2 [例 4] 查詢(xún)計(jì)算機(jī)科學(xué)系 (CS)學(xué)生的學(xué)號(hào) 、 年齡 ， 結(jié)果按年齡降序排序 。CS39。 GET W (1) (): =39。 帶定額的檢索 (續(xù) ) [例 6] 查詢(xún)信息系年齡最大的三個(gè)學(xué)生的學(xué)號(hào)及其年齡 ， 結(jié)果按年齡降序排序 。IS39。 – ② 操作條件中使用量詞時(shí) 必須 用元組變量 。 RANGE Student X GET W (): =39。 (6) 用存在量詞的檢索 [例 8] 查詢(xún)選修 2號(hào)課程的學(xué)生名字 。239。 RANGE Course CX GET W (): ?CX (=∧ =39。) 用存在量詞的檢索 (續(xù) ) [例 10] 查詢(xún)至少選修一門(mén)其先行課為 6號(hào)課程的學(xué)生名字 。639。639。 RANGE SC SCX GET W (， ): ?SCX (≥90∧ =∧ =) （ 8）用全稱(chēng)量詞的檢索 [例 12] 查詢(xún)不選 1號(hào)課程的學(xué)生名字 。139。139。 RANGE Course CX SC SCX GET W (): CX?SCX (=∧ =) ?（ 10）用蘊(yùn)函（ Implication）的檢索 [例 14] 查詢(xún)最少選修了 95002學(xué)生所選課程的學(xué)生學(xué)號(hào) 。9500239。 GET W (COUNT()) COUNT函數(shù)在計(jì)數(shù)時(shí)會(huì)自動(dòng)排除重復(fù)值 。 GET W (AVG()): =39。 二、更新操作 ? (1) 修改操作 ? (2) 插入操作 ? (3) 刪除操作 （ 1）修改操作 ? 步驟 ① 用 HOLD語(yǔ)句將要修改的元組從數(shù)據(jù)庫(kù)中讀到工作空間中 HOLD 工作空間名 （ 表達(dá)式 1） [： 操作條件 ] HOLD語(yǔ)句是帶上并發(fā)控制的 GET語(yǔ)句 ② 用宿主語(yǔ)言修改工作空間中元組的屬性 ③ 用 UPDATE語(yǔ)句將修改后的元組送回?cái)?shù)據(jù)庫(kù)中 UPDATE 工作空間名 修改操作 (續(xù) ) [例 17] 把 95007學(xué)生從計(jì)算機(jī)科學(xué)系轉(zhuǎn)到信息系 。9500739。IS39。 例如不能用 UPDATE語(yǔ)句將學(xué)號(hào) 95001改為 95102 – 間接修改主碼值的方法：刪除 +插入 ? 先用刪除操作刪除該元組 ? 再把具有新主碼值的元組插入到關(guān)系中 （ 2）插入操作 ?步驟 – ① 用宿主語(yǔ)言在工作空間中建立新元組 – ② 用 PUT語(yǔ)句把該元組存入指定關(guān)系中 PUT 工作空間名 （ 關(guān)系名 ） ? PUT語(yǔ)句只對(duì)一個(gè)關(guān)系操作 插入操作 (續(xù) ) [例 18] 學(xué)校新開(kāi)設(shè)了一門(mén) 2學(xué)分的課程 “ 計(jì)算機(jī)組織與結(jié)構(gòu) ” ， 其課程號(hào)為 8， 直接先行課為 6號(hào)課程 。 MOVE 39。 TO MOVE 39。 TO MOVE 39。 TO MOVE 39。 TO PUT W (Course) （ 3）刪除操作 ?步驟 ① 用 HOLD語(yǔ)句把要?jiǎng)h除的元組從數(shù)據(jù)庫(kù)中讀到工作空間中 ② 用 DELETE語(yǔ)句刪除該元組 DELETE 工作空間名 刪除操作 (續(xù) ) [例 19] 95110學(xué)生因故退學(xué) ， 刪除該學(xué)生元組 。9511039。 HOLD W (Student): =39。 DELETE W MOVE 39。 TO MOVE 39。 TO MOVE 39。 O MOVE 39。 TO MOVE 39。 TO PUT W (Student) 刪除操作 (續(xù) ) ?在刪除操作中保持參照完整性 – 刪除被參照關(guān)系時(shí)，必須首先刪除參照關(guān)系中的相應(yīng)元組 ? 手工刪除 ? 由 DBMS自動(dòng)執(zhí)行 刪除操作 (續(xù) ) [例 21] 刪除全部學(xué)生 。 ? 示例元素是該域中的一個(gè)可能取值 ， 它不必是查詢(xún)結(jié)果中的元素 。 – 打印操作符 P. 指定查詢(xún)結(jié)果所含屬性列 – 查詢(xún)條件 不用加下劃線。其中＝可以省略。 Student Sno Sname Ssex Sage Sdept P. 李勇 簡(jiǎn)單查詢(xún)（續(xù)） 顯示全部數(shù)據(jù)也可以簡(jiǎn)單地把 用在關(guān)系名上 。 Student Sno Sname Ssex Sage Sdept P. 李勇 IS 條件查詢(xún)（續(xù)） [例 3] 求年齡大于 19歲的學(xué)生的學(xué)號(hào) 。 條件查詢(xún)（續(xù)） [例 4] 求計(jì)算機(jī)科學(xué)系年齡大于 19歲的學(xué)生的學(xué)號(hào) 。 Student Sno Sname Ssex Sage Sdept 19 CS 條件查詢(xún)（續(xù)） ? (3) 同一屬性條件的與 – 表示方法 ? 把兩個(gè)條件寫(xiě)在不同行上 ， 但使用 相同 的示例元素值 。 SC Sno Cno Grade 1 2 條件查詢(xún)（續(xù)） ? (4) 或條件 – 表示方法 ? 把兩個(gè)條件寫(xiě)在不同行上 ， 并且使用 不同的示例元素值 。 Student Sno Sname Ssex Sage Sdept 19 CS 條件查詢(xún)（續(xù)） ? (5) 多表連接 – 表示方法 ? 通過(guò) 相同的連接屬性值 來(lái)把多個(gè)關(guān)系連接起來(lái) 條件查詢(xún)（續(xù)） [例 7] 查詢(xún)選修 1號(hào)課程的學(xué)生姓名