1. 第一范式
-
第一范式 是最基本的規范形式,即關系中每個屬性都是不可再分的簡單項。
-
定義 如果關系模式R所有的屬性均為簡單屬性,即每個屬性都是不可再分的,則稱R屬於第一范式,簡稱1NF,記住R屬於1NF。
-
把滿足1NF的關系稱為規范化。在關系數據庫系統中只討論規范化的關系,凡是非規范化的關系模式必須轉化成規范化的關系。因此,1NF是關系模式應具備的最起碼的條件。在非規范化的關系中去掉組合項就 能轉化成規范化的關系。
-
一個關系模式僅僅屬於第一范式是不適用的。它可能具有大量的數據冗余,存在插入異常、刪除異常和更新異常等弊端。
2. 第二范式
- 定義 如果關系模式R屬於1NF,且每個非主屬性都完全函數依賴於R的主關系鍵,則R屬於第二范式,簡稱2NF,記作R屬於2NF。
- 兩個結論:
- (1)從1NF關系中消除非主屬性對關系鍵的部分函數依賴,則可得到2NF關系;
- (2)如果R的關系鍵為單屬性,或R的全體屬性均為主屬性,則R屬於2NF。
- 仍然存在着下面一些問題:
- (1)數據冗余
- (2)插入異常
- (3)刪除異常
- (4)更新異常
3. 第三范式
- 定義 如果關系模式R屬於2NF,且每個非主屬性都不傳遞函數依賴於R的主關系鍵,則稱R屬於第三范式,簡稱3NF,記作R屬於3NF。
