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