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