04-關系數(shù)據(jù)庫基本原理-規(guī)范化理論(參考版)
2025-08-10 11:18本頁面
【正文】 搜索 F, 得到 EC→B ； X(3) = ABCDE∪ B = ABCDE ? 4） X(3)=X(2)。 搜索 F, 得到 AB→C, B→D ； X(1) = AB∪ C∪ D = ABCD ? 2） X(1)?X(0)。 ① X(0) : = X 。 fo r F 中的每個 F D Y → Z d o if Y ? X+ t h en X+ : = X+∪ Z 。示例： F =｛ A→B ， B→C ｝ ? A→C ? FD的閉包 ? 設 F是 FD集，被 F邏輯蘊涵的全部 FD的集合，稱為 FD集 F的閉包， 記為 F+，即 F+ =｛ X→Y ｜ 記為 F ? X→Y ｝ ? 屬性集的閉包 ? 設 R(U,F)， X?U，則屬性集 X相對于 F的閉包： X =｛ 屬性 A｜ F+ ? X→A ｝， ? 是一個使用規(guī)則從 F推出的，所有形如滿足 X→A 的屬性 A的集合 + F 16 FD和關鍵碼的聯(lián)系 ? 屬性集的閉包 ? 算法， R（ U， F） ， X ? U，求 X X+ : = X 。關系數(shù)據(jù)庫基本原理 （ 3）規(guī)范化理論 王傳棟 南京郵電大學計算機學院 2 引言 ? 關系 DB的規(guī)范化設計 ? 是指面對一個現(xiàn)實問題（問題域），如何選擇一個比較好的關系模式集合（求解域： DB的實現(xiàn)方案，也稱數(shù)據(jù)庫模式） ? 規(guī)范化設計理論，對關系數(shù)據(jù)庫結構的設計起著重要的作用，涉及 3個方面的內(nèi)容： ? 數(shù)據(jù)依賴 ? 起著核心作用，研究數(shù)據(jù)之間的聯(lián)系 ? 范式（ NF） ? 關系模式的標準 ? 模式設計方法 ? 自動化設計的基礎 3 關系模式的設計問題 ? 外延和內(nèi)涵 ? 外延，與時間有關，隨時間推移不斷變化 ? 通常指關系、表或當前值 ? 內(nèi)涵，與時間是獨立的，通常指關系模式，包括 2個方面 ? 數(shù)據(jù)的定義：關系、屬性、域的定義和說明 ? 數(shù)據(jù)完整性約束的定義 ? 靜態(tài)約束，涉及到數(shù)據(jù)之間聯(lián)系（稱為數(shù)據(jù)依賴， data dependences）、 主鍵和值域的設計 ? 動態(tài)約束，定義各種操作（插入、刪除、修改）對關系值的影響 4 關系模式的設計問題 ? 冗余和異常 ? 問題域：學生選修課程 ? 泛關系模式 ? R（ SNO, SNAME, AGE, SEX, NativePlace, CNO, CNAME, Credit, CreditHours, CPNO, TNO, TNAME, TITLE, SEX, DNO, DNAME, Grade） ? 泛關系 SN O SN A M E A G E SEX N ati v ePl ace CNO C N A M E C r ed i t C r ed i tH o u r s C PN O T N O T N A M E T I T L E SEX DNO D N A M E Gr ad e S1 W A N G 20 M 北京 C2 En g l i sh 4 64 N U L L T2 L I U 教授 F D2 通信系 80 S1 W A N G 20 M 北京 C3 PM 2 32 C2 T2 L I U 教授 F D2 通信系 70 S1 W A N G 20 M 北京 C4 DB 3. 5 56 C1 T1 Z H A O 講師 M D3 電子系 85 S2 L I U 18 F 山東 C1 M ath 3 48 N U L L T1 Z H A O 講師 M D3 電子系 60 S2 L I U 18 F 山東 C2 En g l i sh 4 64 N U L L T2 L I U 教授 F D2 通信系 N U L L S2 L I U 18 F 山東 C3 PM 2 32 C2 T2 L I U 教授 F D2 通信系 90 S2 L I U 18 F 山東 C4 DB 3. 5 56 C1 T1 Z H A O 講師 M D3 電子系 N U L L S3 HU 17 M 上海 C1 M ath 3 48 N U L L T1 Z H A O 講師 M D3 電子系 85 S3 HU 17 M 上海 C4 DB 3. 5 56 C1 T1 Z H A O 講師 M D3 電子系 80 S4 XI A 19 F 四川 C2 En g l i sh 4 64 N U L L T2 L I U 教授 F D2 通信系 N U L L S4 XI A 19 F 四川 C4 DB 3. 5 56 C1 T1 Z H A O 講師 M D3 電子系 75 5 關系模式的設計問題 ? 冗余和異常 ? 數(shù)據(jù)冗余是指同一個數(shù)據(jù)在系統(tǒng)中多次重復出現(xiàn) ? 數(shù)據(jù)冗余引起操作異常 ? 修改異常 ? 插入異常 ? 刪除異常 ? 消除冗余的主要方式：分解 ? 問題 ? 什么是最優(yōu)關系模式？ ? 標準是什么？ ? 如何實現(xiàn)？ 6 關系模式的設計問題 ? 冗余和異常 ? 求解域 ? 數(shù)據(jù)庫模式 ? 數(shù)據(jù)庫實例：關系集合 SN O SNA M E A G E SEX N ati v ePlace S1 W A N G 20 M 北京 S2 L I U 18 F 山東 S3 HU
環(huán)評公示相關推薦
鄂ICP備17016276號-1