關係模式的範式

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。