【文章內容簡介】 troduction to Database System 參照完整性規(guī)則 (續(xù) ) 選修（ 學號 ， 課程號 ，成績） “ 學號 ” 和 “ 課程號 ” 是選修關系中的主屬性 按照實體完整性和參照完整性規(guī)則，它們 只能取相應被參照關系中已經存在的主碼 值 An Introduction to Database System 參照完整性規(guī)則 (續(xù) ) 學生（ 學號 ，姓名，性別，專業(yè)號，年齡， 班長 ） “班長”屬性值可以取兩類值： （ 1）空值，表示該學生所在班級尚未選出班長，或該學生本人即是班長； （ 2）非空值，這時該值必須是本關系中某個元組的學號值 An Introduction to Database System 三、 用戶定義的完整性 ? 用戶定義的完整性是針對某一具體關系數據庫的約束條件 ， 反映某一具體應用所涉及的數據必須滿足的語義要求 。 An Introduction to Database System 用戶定義的完整性 (續(xù) ) 例 : 課程 (課程號 ， 課程名 ， 學分 ) ? “課程名 ” 屬性必須取唯一值 ? 非主屬性 “ 課程名 ” 也不能取空值 ? “ 學分 ” 屬性只能取值 {1， 2， 3， 4} An Introduction to Database System 關系代數 ? 概述 ? 傳統(tǒng)的集合運算 ? 專門的關系運算 An Introduction to Database System 概述 1. 關系代數 2. 關系代數運算的三個要素 3. 關系代數運算的分類 4. 表示記號 An Introduction to Database System 概述 一種抽象的查詢語言 用對關系的運算來表達查詢 An Introduction to Database System 概述 (續(xù) ) 2． 關系代數運算的三個要素 運算對象：關系 運算結果：關系 運算符：四類 An Introduction to Database System 概述 (續(xù) ) ? 集合運算符 ? 將關系看成元組的集合 ? 運算是從關系的 “ 水平 ” 方向即行的角度來進行 ? 專門的關系運算符 ? 不僅涉及行而且涉及列 ? 算術比較符 ? 輔助專門的關系運算符進行操作 ? 邏輯運算符 ? 輔助專門的關系運算符進行操作 An Introduction to Database System 集合 運算 符 ∪ ∩ 并 差 交 廣義笛卡爾積 比較運算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 運算符 含義 運算符 含義 表 關系代數運算符 概述 (續(xù) ) An Introduction to Database System 專門的關系 運算符 σ π 247。 選擇 投影 連接 除 邏輯運算符 ? ∧ ∨ 非 與 或 運算符 含義 運算符 含義 表 關系代數運算符（續(xù)） 概述 (續(xù) ) An Introduction to Database System 概述 (續(xù) ) 3．關系代數運算的分類 傳統(tǒng)的集合運算 并 、 差 、 交 、 廣義笛卡爾積 專門的關系運算 選擇 、 投影 、 連接 、 除 An Introduction to Database System 概述 (續(xù) ) 4．表示記號 （ 1） R， t?R， t[Ai] 設關系模式為 R(A1， A2， … ， An) 它的一個關系設為 R。 t?R表示 t是 R的一個元組 t[Ai]則表示元組 t中對應于屬性 Ai的一個分量 An Introduction to Database System 概述 (續(xù) ) （ 2） A， t[A]， A 若 A={Ai1， Ai2， … ， Aik}，其中 Ai1， Ai2， … ，Aik是 A1， A2， … ， An中的一部分，則 A稱為屬性列或屬性組。 t[A]=(t[Ai1]， t[Ai2]， … ，t[Aik])表示元組 t在屬性列 A上諸分量的集合。A則表示 {A1， A2， … ， An}中去掉 {Ai1，Ai2， … ， Aik}后剩余的屬性組。 An Introduction to Database System 概述 (續(xù) ) （ 3） tr ts R為 n目關系， S為 m目關系。 tr ?R， ts?S， tr ts稱為元組的連接。它是一個 n + m列的元組，前 n個分量為 R中的一個 n元組，后 m個分量為 S中的一個 m元組。 An Introduction to Database System 概述 (續(xù) ) （ 4） 象集 Zx 給定一個關系 R（ X， Z） ， X和 Z為屬性組 。 當t[X]=x時 ， x在 R中的 象集 （ Images Set） 為： Zx={t[Z]|t ?R， t[X]=x} 它表示 R中屬性組 X上值為 x的諸元組在 Z上分量的集合。 An Introduction to Database System 傳統(tǒng)的集合運算 ? 并 ? 差 ? 交 ? 廣義笛卡爾積 An Introduction to Database System 1. 并（ Union） ? R和 S ? 具有相同的目 n（ 即兩個關系都有 n個屬性 ） ? 相應的屬性取自同一個域 ? R∪ S ? 仍為 n目關系 ， 由屬于 R或屬于 S的元組組成 R∪ S = { t|t ? R∨ t ?S } An Introduction to Database System 并 (續(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 An Introduction to Database System 2. 差（ Difference） ? R和 S ? 具有相同的目 n ? 相應的屬性取自同一個域 ? R S ? 仍為 n目關系 ， 由屬于 R而不屬于 S的所有元組組成 R S = { t|t?R∧ t?S } An Introduction to Database System 差 (續(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 An Introduction to Database System 3. 交（ Intersection） ? R和 S ? 具有相同的目 n ? 相應的屬性取自同一個域 ? R∩S ? 仍為 n目關系 ， 由既屬于 R又屬于 S的元組組成 R∩S = { t|t ? R∧ t ?S } R∩S = R –(RS） An Introduction to Database System 交 (續(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 An Introduction to Database System 4. 廣義笛卡爾積 ? R ? n目關系 ， k1個元組 ? S ? m目關系 ， k2個元組 ? R S ? 列： （ n+m） 列的元組的集合 ? 元組的前 n列是關系