關係數據庫理論(ppt 28頁)

關係數據庫理論

機械工業出版社
第7章 關係數據庫理論
7.1 關係數據模式的規範化理論 7.1.1 關係模式規範化的必要性
7.1.2 函數依賴及其關係的範式
7.1.3 多值依賴及關係的第四範式
7.2 關係模式的分解算法
7.2.1 關係模式分解的算法基礎
7.2.3 判定分解服從規範的方法
7.2.4 關係模式的分解方法
7.1 關係數據模式的規範化理論
範式（Normal Form）是指規範化的關係模式。由滿足最基本規範化的關係模式叫第一範式，第一範式的關係模式再滿足另外一些約束條件就產生了第二範式、第三範式、BC範式等等。一個低一級的關係範式通過模式分解可以轉換成若幹高一級範式的關係模式的集合，這種過程叫關係模式的規範化。
7.1.1 關係模式規範化的必要性
1. 關係模式應滿足的基本要求1) 元組的每個分量必須是不可分的數據項。2) 數據庫中的數據冗餘應盡可能少。3) 關係數據庫不能因為數據更新操作而引起數據不一致問題。4) 當執行數據插入操作時，數據庫中的數據不能產生插入異常現象。5) 數據庫中的數據不能在執行刪除操作時產生刪除異常問題。6) 數據庫設計應考慮查詢要求，數據組織應合理。

..............................