[理學]第4章關(guān)系數(shù)據(jù)庫理論-展示頁
2024-10-25 21:22本頁面
【正文】 的兩個函數(shù)依賴集 F和 G，如果滿足 F += G + ，則稱 F和 G是等價的函數(shù)依賴集。 （ 2）證明 X→ Y在關(guān)系 r上不成立。 （ 5）停止，輸出結(jié)果。 （ 3）在 Y中取一個屬性 A，求 (XA) +，若它包含了 R的全部屬性，則轉(zhuǎn)（ 4）；否則，調(diào)換一屬性反復進行這一過程，直到試完所有 Y中的屬性。 （ 5）若 X（ X∈ R）是 R的 N類和 L類屬性組成的屬性集，且 X +包含了 R的全部屬性，則 X是 R的惟一候選鍵。 （ 3）若 X（ X∈ R）是 R類屬性，則 X不在任何候選鍵中。 快速求解候選鍵的一個充分條件 對于給定的關(guān)系模式 R(A1… ， An)和函數(shù)依賴集 F，可將其屬性分為以下四類： f L類 R類 N類 LR類 15 定理 對于給定的關(guān)系模式 R及其函數(shù)依賴集 F （ 1）若 X（ X∈ R）是 L類屬性，則 X必為 R的任一候選鍵的成員。 ??14 候選鍵的求解理論和算法 關(guān)鍵碼的定義 如果 X→ U在 R上成立（即 X→ U在 F +中），那么稱 X是 R的一個超鍵。 如果 Y→ X，則 X Y，這時稱 Z對 X直接函數(shù)依賴，而不是傳遞函數(shù)依賴。 在關(guān)系模式 SCD中，因為 SNo Score，且 CNo Score，所以有： (SNo， CNo) → Score。即： F +={ X→ Y | F|=X→ Y} 9 Armstrong公理 自反律： 如果 YXU，則 X→ Y在 R上成立如果 YXU，則 X→ Y在 R上成立 增廣律 ： 若 X→ Y在 R上成立，且 ZU，則 XZ→ YZ在 R上也成立 傳遞律 ： 若 X→ Y和 Y→ Z在 R上成立，則 X→ Z在 R上也成立 10 Armstrong公理推論 合并律（ Union rule） 若 X→ Y和 X→ Z在 R上成立，則 X→ YZ在 R上也成立 偽傳遞律（ Pseudotransitivity rule） 若 X→ Y和 YW→ Z在 R上成立，則 XW→ Z在 R上也成立 分解律（ Deposition rule） 若 X→ Y和 ZY在 R上成立，則 X→ Z在 R上也成立 復合律（ Composition） 若 X→ Y和 W→ Z在 R上成立，則 XW→ YZ在 R上也成立 11 完全函數(shù)依賴與部分函數(shù)依賴 設(shè)有關(guān)系模式 R(U)， U是屬性全集， X和 Y是 U的子集： 如果 X→ Y，并且對于 X的任何一個真子集 X′，都有 X′ Y，則稱 Y對 X完全函數(shù)依賴 ，記作 X → Y。如果從F中能夠推導出 X→ Y，即如果對于 R的每個滿足 F的關(guān)系 r也滿足 X→ Y，則稱 X→ Y為 F的 邏輯蘊涵 （或 F邏輯蘊涵 X→ Y），記為 F|=X→ Y 。第 4章 關(guān)系數(shù)據(jù)庫理論 2 規(guī)范化問題的提出 函數(shù)依賴 關(guān)系模式的分解 * 關(guān)系模式的范式 關(guān)系模式的規(guī)范化 3 規(guī)范化問題的提出 規(guī)范化理論的主要內(nèi)容 關(guān)系數(shù)據(jù)庫的規(guī)范化理論 函數(shù)依賴 范式（ Normal Form） 模式設(shè)計 核心，是模式分解和設(shè)計的基礎(chǔ) 模式分解的標準 4 不合理的關(guān)系模式存在的存儲異常問題 教學管理數(shù)據(jù)庫 SCD(SNo， SN， Age， Dept， MN， CNo， Score) 在此關(guān)系模式中填入一部分具體的數(shù)據(jù) SNo SN Age Dept MN CNo Score S1 趙亦 17 計算機 劉偉 C1 90 S1 趙亦 17 計算機 劉偉 C2 85 S2 錢爾 18 信息 王平 C5 57 S2 錢爾 18 信息 王平 C6 80 S2 錢爾 18 信息 王平 C7 … 5 SNo SN Age Dept MN CNo Score S1 趙亦 17 計算機 劉偉 C1 90 S1 趙亦 17 計算機 劉偉 C2 85 S2 錢爾 18 信息 王平 C5 57 S2 錢爾 18 信息 王平 C6 80 S2 錢爾 18 信息 王平 C7 … 該表出現(xiàn)的問題 數(shù)據(jù)冗余 插入異常 刪除異常 更新異常 根本原因：屬性間存 在著 數(shù)據(jù)依賴關(guān)系 包羅萬象 6 一個好的關(guān)系模式應(yīng)該具備以下四個條件： （ 1）盡可能少的數(shù)據(jù)冗余； （ 2）沒有插入異常； （ 3）沒有刪除異常； （ 4）沒有更新異常。 SCD (SNo， SN， Age， Dept， MN， CNo， Score) S(SNo， SN， Age， Dept) SC(SNo， CNo， Score) D(Dept， MN) 關(guān)系模式分解： 7 函數(shù)依賴 函數(shù)依賴的定義 定義 SNo決定函數(shù)（ SN， Age， Dept） （ SN， Age， Dept）函數(shù)依賴于 SNo
教學課件相關(guān)推薦
鄂ICP備17016276號-1