【文章內容簡介】 ，專業(yè)名） – 學生（ 學號 ，姓名，性別， 專業(yè)號 ，年齡） 學生關系中每個元組的 “ 專業(yè)號 ” 屬性取值情況 只取下面兩類值： （ 1） 空值 ，表示尚未給該學生分配專業(yè) （ 2）非空值，這時該值必須 是專業(yè)關系中某個元組的“專業(yè)號”值 ，表示該學生不可能分配到一個不存在的專業(yè)中 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 例 2 學生 、 課程 、 學生與課程之間的多對 多聯系 學生 （ 學號 ， 姓名 ， 性別 ， 專業(yè)號 ， 年齡 ） 課程 （ 課程號 ， 課程名 ， 學分 ） 選修（ 學號 ， 課程號 ，成績） 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 課程號 課程名 學分01 數據庫 402 數據結構 403 編譯 404 P ASC AL 2學號 姓名 性別 專業(yè)號 年齡801 張三 女 01 19802 李四 男 01 20803 王五 男 01 20804 趙六 女 02 20805 錢七 男 02 19學號 課程號 成績801 04 92801 03 78801 02 85802 03 82802 04 90803 04 88學生 學生選課 課程 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 選修（ 學號 ， 課程號 ，成績） 它們只能取學生和課程關系中已經存在的主碼值 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 例 3 學生實體及其內部的領導聯系 (一對多 ) 學生 （ 學號 ， 姓名 ， 性別 ， 專業(yè)號 ， 年齡 ， 班長 ） 學號 姓名 性別 專業(yè)號 年齡 班長801 張三 女 01 19 802802 李四 男 01 20803 王五 男 01 20 802804 趙六 女 02 20 805805 錢七 男 02 19《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 學生（ 學號 ，姓名，性別，專業(yè)號，年齡， 班長 ） “ 班長 ” 屬性值可以取兩類值： （ 1）空值，表示該學生所在班級尚未選出班長，或該學生本人即是班長； （ 2）非空值，這時該值必須是本關系中某個元組的學號值 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 設 F是基本關系 R的一個或一組屬性 ， 但不是關系 R的碼 。 如果 F與基本關系 S的主碼 Ks相對應 ， 則稱 F是基本關系 R的 外碼 基本關系 R稱 為 參照關系 （ Referencing Relation） 基本關系 S稱 為 被參照關系 （ ReferencedRelation）或 目標關系 （ Target Relation） 。 2．外碼（ Foreign Key） 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 說明 ? 關系 R和 S不一定是不同的關系 ? 目標關系 S的主碼 Ks 和參照關系的外碼 F必須定義在同一個（或一組）域上 ? 外碼并不一定要與相應的主碼同名 當外碼與相應的主碼屬于不同關系時，往往 取相同的名字，以便于識別 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 3. 參照完整性規(guī)則 若屬性 （ 或屬性組 ） F是基本關系 R的外碼 它與基本關系 S的主碼 Ks相對應 （ 基本關系 R和 S不一定是不同的關系 ） ， 則對于 R中每個元組在F上的值必須為： ? 或者取空值 （ F的每個屬性值均為空值 ） ? 或者等于 S中某個元組的主碼值 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 學生關系中每個元組的 “ 專業(yè)號 ” 屬性只 取下面兩類值： （ 1） 空值 ， 表示尚未給該學生分配專業(yè) （ 2） 非空值 ， 這時該值必須 是專業(yè)關系中某個元組的 “ 專業(yè)號 ” 值 ， 表示該學生不可能分配到一個不存在的專業(yè)中 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 選修（ 學號 ， 課程號 ，成績） “ 學號 ” 和 “ 課程號 ” 是選修關系中的主屬性按照實體完整性和參照完整性規(guī)則，它們只能取相應被參照關系中已經存在的主碼值 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 參照完整性 學生（ 學號 ，姓名，性別，專業(yè)號，年齡， 班長 ） “ 班長 ” 屬性值可以取兩類值： （ 1）空值，表示該學生所在班級尚未選出班長，或該學生本人即是班長； （ 2）非空值，這時該值必須是本關系中某個元組的學號值 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 用戶自定義的完整性 ? 用戶定義的完整性是針對某一具體關系數據庫的約束條件 ， 反映某一具體應用所涉及的數據必須滿足的語義要求 。 ? 關系模型應提供定義和檢驗這類完整性的機制 ， 以便用統一的系統的方法處理它們 ，而不要由應用程序承擔這一功能 。 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 用戶自定義的完整性 例 : 課程 (課程號 ， 課程名 ， 學分 ) – ―課程名 ” 屬性必須取唯一值 –非主屬性 “ 課程名 ” 也不能取空值 – “ 學分 ” 屬性只能取值 {1， 2， 3， 4} 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 關系代數 概述 傳統的集合運算 專門的關系運算 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 1. 關系代數 2. 運算的三要素 3. 關系代數運算的三個要素 4. 關系代數運算的分類 5. 表示記號 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 一種抽象的查詢語言 用對關系的運算來表達查詢 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 2． 關系代數運算的三個要素 運算對象： 關系 運算結果： 關系 運算符： 四類 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 –集合運算符 ? 將關系看成元組的集合 ? 運算是從關系的 “ 水平 ” 方向即行的角度來進行 –專門的關系運算符 ? 不僅涉及行而且涉及列 –算術比較符 ? 輔助專門的關系運算符進行操作 –邏輯運算符 ? 輔助專門的關系運算符進行操作 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 集合 運算 符 ∪ ∩ 并 差 交 廣義笛卡爾積 比較運算符 ＞ ≥ ＜ ≤ ＝ ≠ 大于 大于等于 小于 小于等于 等于 不等于 運算符 含義 運算符 含義 表 關系代數運算符 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 專門的關系 運算符 σ π 247。 選擇 投影 連接 除 邏輯運算符 ? ∧ ∨ 非 與 或 運算符 含義 運算符 含義 表 關系代數運算符（續(xù)） 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 概述 4．關系代數運算的分類 傳統的集合運算 并 、 差 、 交 、 廣義笛卡爾積 專門的關系運算 選擇 、 投影 、 連接 、 除 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 傳統的集合運算 ? 并 ? 差 ? 交 ? 廣義笛卡爾積 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 傳統的集合運算 1. 并（ Union） ? R和 S –具有相同的目 n（ 即兩個關系都有 n個屬性 ） –相應的屬性取自同一個域 ? R∪ S –仍為 n目關系 ， 由屬于 R或屬于 S的元組組成 R∪ S = { t|t ? R∨ t ?S } 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 傳統的集合運算 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） 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 傳統的集合運算 2. 差（ Difference） ? R和 S –具有相同的目 n –相應的屬性取自同一個域 ? R S –仍為 n目關系 ， 由屬于 R而不屬于 S的所有元組組成 R S = { t|t?R∧ t?S } 《 數據庫系統原理 》 廈門大學計算機科學系 林子雨 2022版 傳統的集合運算 A B C