【正文】 與值 1. 關(guān)系數(shù)據(jù)庫(kù) ?在一個(gè)給定的應(yīng)用領(lǐng)域中 ， 所有實(shí)體及實(shí)體之間聯(lián)系的關(guān)系的集合構(gòu)成一個(gè)關(guān)系數(shù)據(jù)庫(kù) 。 例 SAP(SUPERVISOR， SPECIALITY， POSTGRADUATE) POSTGRADUATE屬性為主碼 （ 假設(shè)研究生不會(huì)重名 ） ， 則其不能取空值 。 – (3) 相應(yīng)地 ， 關(guān)系模型中以候選碼作為唯一性標(biāo)識(shí) 。 實(shí)體完整性 (續(xù) ) ?注意 – 實(shí)體完整性規(guī)則規(guī)定基本關(guān)系的所有主屬性都不能取空值 ， 而不僅是主碼整體不能取空值 。 外碼 (續(xù) ) ?說(shuō)明 – 關(guān)系 R和 S不一定是不同的關(guān)系 。 ?例 3. 參照完整性規(guī)則 ?參照完整性規(guī)則就是定義外碼與主碼之間的引用規(guī)則 。 參照完整性規(guī)則 (續(xù) ) 例 3 ―班長(zhǎng)”屬性值可以取兩類(lèi)值： （ 1）空值，表示該學(xué)生所在班級(jí)尚未選出班長(zhǎng)，或該學(xué)生本人即是班長(zhǎng)； （ 2）非空值，這時(shí)該值必須是本關(guān)系中某個(gè)元組的學(xué)號(hào)值。 選擇 投影 連接 除 邏輯運(yùn)算符 ? ∧ ∨ 非 與 或 運(yùn)算符 含義 運(yùn)算符 含義 表 關(guān)系代數(shù)運(yùn)算符（續(xù)） 關(guān)系代數(shù)（續(xù)） 關(guān)系代數(shù)（續(xù)） ? 4．關(guān)系代數(shù)運(yùn)算的分類(lèi) – 傳統(tǒng)的集合運(yùn)算 ? 并 、 差 、 交 、 廣義笛卡爾積 – 專(zhuān)門(mén)的關(guān)系運(yùn)算 ? 選擇 、 投影 、 連接 、 除 關(guān)系代數(shù)（續(xù)） ?5．表示記號(hào) – （ 1） R， t?R， t[Ai] 設(shè)關(guān)系模式為 R(A1， A2， … ， An)。 關(guān)系代數(shù)（續(xù)） – （ 2） A， t[A]， A 若 A={Ai1， Ai2， … ， Aik}，其中 Ai1， Ai2， … ，Aik是 A1， A2， … ， An中的一部分，則 A稱(chēng)為屬性列或域列。 tr ?R， ts?S， tr ts稱(chēng)為元組的連接。 關(guān)系代數(shù) ? 傳統(tǒng)的集合運(yùn)算 ? 專(zhuān)門(mén)的關(guān)系運(yùn)算 關(guān)系代數(shù) ? 傳統(tǒng)的集合運(yùn)算 ? 專(zhuān)門(mén)的關(guān)系運(yùn)算 傳統(tǒng)的集合運(yùn)算 ? 并 ? 差 ? 交 ? 廣義笛卡爾積 1. 并（ Union） ? R和 S – 具有相同的目 n（ 即兩個(gè)關(guān)系都有 n個(gè)屬性 ） – 相應(yīng)的屬性取自同一個(gè)域 ? R∪ S – 仍為 n目關(guān)系 ， 由屬于 R或?qū)儆?S的元組組成 R∪ S = { t|t ? R∨ t ?S } 并 (續(xù) ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 a1 b2 c2 a1 b3 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R∪ S 2. 差（ Difference） ? R和 S – 具有相同的目 n – 相應(yīng)的屬性取自同一個(gè)域 ? R S – 仍為 n目關(guān)系 ， 由屬于 R而不屬于 S的所有元組組成 R S = { t|t?R∧ t?S } 差 (續(xù) ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b1 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S RS 3. 交（ Intersection） ? R和 S – 具有相同的目 n – 相應(yīng)的屬性取自同一個(gè)域 ? R∩S – 仍為 n目關(guān)系 ， 由既屬于 R又屬于 S的元組組成 R∩S = { t|t ? R∧ t ?S } R∩S = R –(RS） 交 (續(xù) ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R ∩ S 4. 廣義笛卡爾積（ Extended Cartesian Product） ? R – n目關(guān)系 ， k1個(gè)元組 ? S – m目關(guān)系 ， k2個(gè)元組 ? R S – 列： （ n+m） 列的元組的集合 ? 元組的前 n列是關(guān)系 R的一個(gè)元組 ? 后 m列是關(guān)系 S的一個(gè)元組 – 行： k1 k2個(gè)元組 ? R S = {tr ts |tr ?R ∧ ts?S } 廣義笛卡爾積 (續(xù) ) A B C a1 b1 c1 a1 b2 c2 a2 b2 c1 A B C a1 b2 c2 a1 b3 c2 a2 b2 c1 R S R S A B C A B C a1 b1 c1 a1 b2 c2 a1 b1 c1 a1 b3 c2 a1 b1 c1 a2 b2 c1 a1 b2 c2 a1 b2 c2 a1 b2 c2 a1 b3 c2 a1 b2 c2 a2 b2 c1 a2 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。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。 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為屬性組 。 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 ={a1} 5．綜合舉例 以學(xué)生 課程數(shù)據(jù)庫(kù)為例 [例 7] 查詢(xún)至少選修 1號(hào)課程和 3號(hào)課程的學(xué)生號(hào)碼 。 πSno（ σCno=39。539。539。 GET W () [例 2] 查詢(xún)所有學(xué)生的數(shù)據(jù) ?！?20 （ 3）帶排序的檢索 ? 格式 GET 工作空間名 （ 表達(dá)式 1） [： 操作條件 ] DOWN/UP 表達(dá)式 2 [例 4] 查詢(xún)計(jì)算機(jī)科學(xué)系 (CS)學(xué)生的學(xué)號(hào) 、 年齡 ， 結(jié)果按年齡降序排序 。 GET W (1) (): =39。IS39。 RANGE Student X GET W (): =39。239。) 用存在量詞的檢索 (續(xù) ) [例 10] 查詢(xún)至少選修一門(mén)其先行課為 6號(hào)課程的學(xué)生名字 。639。139。 RANGE Course CX SC SCX GET W (): CX?SCX (=∧ =) ?（ 10）用蘊(yùn)函（ Implication）的檢索 [例 14] 查詢(xún)最少選修了 95002學(xué)生所選課程的學(xué)生學(xué)號(hào) 。 GET W (COUNT()) COUNT函數(shù)在計(jì)數(shù)時(shí)會(huì)自動(dòng)排除重復(fù)值 。 二、更新操作 ? (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)到信息系 。IS39。 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é)生元組 。 HOLD W (Student): =39。 TO MOVE 39。 O MOVE 39。 TO PUT W (Student) 刪除操作 (續(xù) ) ?在刪除操作中保持參照完整性 – 刪除被參照關(guān)系時(shí)，必須首先刪除參照關(guān)系中的相應(yīng)元組 ? 手工刪除 ? 由 DBMS自動(dòng)執(zhí)行 刪除操作 (續(xù) ) [例 21] 刪除全部學(xué)生 。 – 打印操作符 P. 指定查詢(xún)結(jié)果所含屬性列 – 查詢(xún)條件 不用加下劃線(xiàn)。 Student Sno Sname Ssex Sage Sdept P. 李勇 簡(jiǎn)單查詢(xún)（續(xù)） 顯示全部數(shù)據(jù)也可以簡(jiǎn)單地把 用在關(guān)系名上 。 條件查詢(xún)（續(xù)） [例 4] 求計(jì)算機(jī)科學(xué)系年齡大于 19歲的學(xué)生的學(xué)號(hào) 。 SC Sno Cno Grade 1 2 條件查詢(xún)（續(xù)） ? (4) 或條件 – 表示方法 ? 把兩個(gè)條件寫(xiě)在不同行上 ， 并且使用 不同的示例元素值