關係模型範式

關係模型範式，只有滿足一定條件的關係模式，才能避免操作異常。

只有滿足一定條件的關係模式，才能避免操作異常。
關係模式要滿足的條件稱為規範化形式，簡稱範式。
下面介紹四種不同程度的範式，由低級向高級：
1、第一範式（1NF）
在關係模式R的每一個具體關係r中，如果每個屬性值都是不可能再分的最小數據單元，則稱R是第一範式，記為R∈1NF。
1NF是關係資料庫能夠保存數據並且正確訪問數據的最基本條件。
2、第二範式（2NF）
如果關係模式R（U，F）中的所有非主屬性都完全函式依賴於任意一個候選關鍵字，則稱關係R是屬於第二範式，記為R∈2NF。
3、第三範式（3NF）
如果關係模式R（U，F）中所有非主屬性對任何侯選關鍵字都不存在傳遞依賴，則稱關係R是屬於第三範式，記為R∈3NF。
4、BCNF
如果關係模式R（U，F）中的所有屬性（包括主屬必和非主屬性）都不傳遞依賴於R的任何侯選關鍵字，那么稱關係R是屬於 BCNF的，記為R∈BCNF。
一個低級範式的關係模式，可以通過分解方法轉換成若干個高一級範式的關係模式的集合，也可以說任何一個高層的範式，總是能夠滿足低層的範式。