資料庫正規化形式

正規化形式（Normal Form） 滿足某一組特別規定的條件的關聯式，可稱為正規化形式。例如一關聯式其中各屬性只有包含基元值(Atomic Value)的條件，就屬於第一正規化形式(First Normal Form, 1NF)
正規化    靠著分割關聯式的屬性，可以將原本不滿足某些條件的關聯式綱要，分成幾個較小的關連式以滿足我們希望它擁有的特性。
無失分割(Nonloss decomposition)   一個關連式如果分割後，自將分割後的關聯式合併，則可得的到原來的關聯式，也就是分割過程沒有損失任何資訊，則我們稱此分割為無失分割。此分割過程稱為可逆的(Reversible)
第一正規化形式      關聯式屬性所屬的定義域中僅能有基元值(Atomic Value)，也就是每一個屬性必須是單一的。  關聯式的屬性如果是多值屬性或是複合屬性，就不符合1NF。
正規化的步驟   (1)先將複合屬性分解為單一屬性 (2)多值屬性集合的部份鍵納入主鍵屬性集合，不同值的拆成許多值組。
第二正規化形式    關聯式必須符合第一正規化形式，同時其中非屬主鍵集合的屬性必須完全功能相依於主鍵。
第三正規化形式    關聯式必須符合第二正規化形式，同時其中非屬主鍵屬性集合的屬性必須非遞移地功能相依於主鍵。
非遞移性功能相依  指兩個屬性是直接功能相依如A->C而非經由遞移而達成功能相依，也就是不存在A->B,B->C的情形。