【正文】 系模型的完整性規(guī)則是對(duì)關(guān)系的某種約束條件 。 主屬性取空值，就說(shuō)明存在某個(gè)不可標(biāo)識(shí)的實(shí)體，即存在不可區(qū)分的實(shí)體，這與第（ 2）點(diǎn)相矛盾，因此這個(gè)規(guī)則稱(chēng)為實(shí)體完整性。 選擇 投影 連接 除 邏輯運(yùn)算符 ? ∧ ∨ 非 與 或 運(yùn)算符 含義 運(yùn)算符 含義 表 關(guān)系代數(shù)運(yùn)算符（續(xù)） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 概述 4．關(guān)系代數(shù)運(yùn)算的分類(lèi) 傳統(tǒng)的集合運(yùn)算 并 、 差 、 交 、 廣義笛卡爾積 專(zhuān)門(mén)的關(guān)系運(yùn)算 選擇 、 投影 、 連接 、 除 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 ? 并 ? 差 ? 交 ? 廣義笛卡爾積 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(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 } 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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 1. 并（ Union） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 2. 差（ Difference） ? R和 S –具有相同的目 n –相應(yīng)的屬性取自同一個(gè)域 ? R S –仍為 n目關(guān)系 ， 由屬于 R而不屬于 S的所有元組組成 R S = { t|t?R∧ t?S } 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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 2. 差（ Difference） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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 3. 交（ Intersection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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 } 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 傳統(tǒng)的集合運(yùn)算 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 c1 b1 a1 c1 b1 a1 c1 b2 a2 c1 b2 a2 c2 b2 a1 c1 b2 a2 c1 b1 a1 C B A c2 b2 a1 c2 b2 a1 c2 b2 a1 c2 b3 a1 c1 b2 a2 c2 b2 a1 c2 b3 a1 c1 b2 a2 c2 b2 a1 C B A c1 b2 a2 c2 b3 a1 4. 廣義笛卡爾積（ Extended Cartesian Product） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 表示記號(hào) （ 1） R， t?R， t[Ai] 設(shè)關(guān)系模式為 R(A1， A2， … ， An) 它的一個(gè)關(guān)系設(shè)為 R。 當(dāng) t[X]=x時(shí) ， x在 R中的 象集 （ Images Set） 為： Zx={t[Z]|t ?R， t[X]=x} 它表示 R中屬性組 X上值為 x的諸元組在 Z上分量的集合。兩個(gè)關(guān)系中進(jìn)行比較的分量必須是相同的屬性組 187。 R247。 K={95001} Sno Cno 95001 1 95001 2 95001 3 95002 2 95002 3 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 學(xué) 號(hào) Sno 姓 名 Sname 性 別 Ssex 年 齡 Sage 系 Sdept 。 R中的 Y與 S中的 Y可以有不同的屬性名 ， 但必須出自相同的域集 。 (Student) 結(jié)果： 1. 選擇（ Selection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 [例 2] 查詢(xún)年齡小于 20歲的學(xué)生 Sno Sname Ssex Sage Sdept 95002 劉晨 女 19 IS 95003 王敏 女 18 MA 95004 張立 男 19 IS σSage 20(Student) 結(jié)果： 1. 選擇（ Selection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 ? 1） 投影運(yùn)算符的含義 –從 R中選擇出若干屬性列組成新的關(guān)系 πA(R) = { t[A] | t ?R } A： R中的屬性列 2. 投影（ Projection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 ? 2） 投影操作主要是從列的角度進(jìn)行運(yùn)算 π ? 但投影之后不僅取消了原關(guān)系中的某些列 ，而且還可能取消某些元組 （ 避免重復(fù)行 ） 2. 投影（ Projection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 ? 3) 舉例 [例 3] 查詢(xún)學(xué)生的姓名和所在系 即求 Student關(guān)系上學(xué)生姓名和所在系兩個(gè)屬性上的投影 ? πSname， Sdept(Student) 2. 投影（ Projection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 Sname Sdept 李勇 CS 劉晨 IS 王敏 MA 張立 IS 2. 投影（ Projection） 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 [例 4] 查詢(xún)學(xué)生關(guān)系 Student中都有哪些系 Sdept CS IS MA πSdept(Student) 結(jié)果： 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 專(zhuān)門(mén)的關(guān)系運(yùn)算 3. 連接（ Join） ? 1） 連接也稱(chēng)為 θ連接 ? 2） 連接運(yùn)算的含義 – 從兩個(gè)關(guān)系的笛卡爾積中選取屬性間滿(mǎn)足一定條件的元組 AθB tr ts R S = { | tr ? R∧ ts ?S∧ tr[A]θts[B] } ? A和 B： 分別為 R和 S上度數(shù)相等且可比的屬性組 ? θ：比較運(yùn)算符 ? 連接運(yùn)算從 R和 S的廣義笛卡爾積 R S中選?。?R關(guān)系）在 A屬性組上的值與（ S關(guān)系）在 B屬性組上值滿(mǎn)足比較關(guān)系的元組。它是一個(gè) n + m列的元組，前 n個(gè)分量為 R中的一個(gè) n元組，后 m個(gè)分量為 S中的一個(gè) m元組。 ? 關(guān)系模型應(yīng)提供定義和檢驗(yàn)這類(lèi)完整性的機(jī)制 ， 以便用統(tǒng)一的系統(tǒng)的方法處理它們 ，而不要由應(yīng)用程序承擔(dān)這一功能 。 (4) 主碼中的屬性即主屬性不能取空值 。 這是規(guī)范條件中最基本的一條 表 2 . 3 非規(guī)范化關(guān)系P O S TG R A D U A TES U P ER V I S O RS P EC I A LI TYP G 1 P G 2張清玫 信息專(zhuān)業(yè) 李勇 劉晨劉逸 信息專(zhuān)業(yè) 王敏8) 基本關(guān)系的性質(zhì) 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 關(guān)系模式 1． 什么是關(guān)系模式 2．定義關(guān)系模式 3. 關(guān)系模式與關(guān)系 《 數(shù)據(jù)庫(kù)系統(tǒng)原理 》 廈門(mén)大學(xué)計(jì)算機(jī)科學(xué)系 林子雨 2022版 關(guān)系模式 關(guān)系模式 （ Relation Schema） 是型 關(guān)系模式是對(duì)關(guān)系的描述 元組集合的結(jié)構(gòu) 屬性構(gòu)成