資料庫設計的三大範式、BCNF、4NF

 　　一、理解資料庫的範式需要理解幾個基本概念：

　　碼：表中可以唯一確定一個元組的某個屬性(或者屬性群組)，如果這樣的碼有不止一個，那麼大家都叫候選碼，我們從候選碼中挑一個出來做老大，它就叫主碼。相當於索引值的意思。 主屬性：一個屬性只要在任何一個候選碼中出現過，這個屬性就是主屬性。 非主屬性：與上面相反，沒有在任何候選碼中出現過，這個屬性就是非主屬性。 外碼：一個屬性(或屬性群組)，它不是碼，但是它別的表的碼，它就是外碼。

　　二、範式詳解

　　為了建立冗餘較小、結構合理的資料庫，設計資料庫時必須遵循一定的規則。在關係型資料庫中這種規則就稱為範式。範式是符合某一種設計要求的總結。要想設計一個結構合理的關係型資料庫，必須滿足一定的範式。

　　在實際開發中最為常見的設計範式有三個：

　　1.第一範式(確保每列保持原子性)

　　第一範式是最基本的範式。如果資料庫表中的所有欄位值都是不可分解的原子值，就說明該資料庫表滿足了第一範式。

　　第一範式的合理遵循需要根據系統的實際需求來定。比如某些資料庫系統中需要用到“地址”這個屬性，本來直接將“地址”屬性設計成一個資料庫表的欄位就行。但是如果系統經常會訪問“地址”屬性中的“城市”部分，那麼就非要將“地址”這個屬性重新拆分為省份、城市、詳細地址等多個部分進行儲存，這樣在對地址中某一部分操作的時候將非常方便。這樣設計才算滿足了資料庫的第一範式，如下表所示。

　　上表所示的使用者資訊遵循了第一範式的要求，這樣在對使用者使用城市進行分類的時候就非常方便，也提高了資料庫的效能。

　　2.第二範式(確保表中的每列都和主鍵相關)

　　第二範式在第一範式的基礎之上更進一層。第二範式需要確保資料庫表中的每一列都和主鍵相關，而不能只與主鍵的某一部分相關(主要針對聯合主鍵而言)。也就是說在一個資料庫表中，一個表中只能儲存一種資料，不可以把多種資料儲存在同一張資料庫表中。

　　比如要設計一個訂單資訊表，因為訂單中可能會有多種商品，所以要將訂單編號和商品編號作為資料庫表的聯合主鍵，如下表所示。

　　訂單資訊表

　　這樣就產生一個問題：這個表中是以訂單編號和商品編號作為聯合主鍵。這樣在該表中商品名稱、單位、商品價格等資訊不與該表的主鍵相關，而僅僅是與商品編號相關。所以在這裡違反了第二範式的設計原則。

　　而如果把這個訂單資訊表進行拆分，把商品資訊分離到另一個表中，把訂單項目表也分離到另一個表中，就非常完美了。如下所示。

　　這樣設計，在很大程度上減小了資料庫的冗餘。如果要擷取訂單的商品資訊，使用商品編號到商品資訊表中查詢即可。

　　3.第三範式(確保每列都和主鍵列直接相關,而不是間接相關)

　　第三範式需要確保資料表中的每一列資料都和主鍵直接相關，而不能間接相關。

　　比如在設計一個訂單資料表的時候，可以將客戶編碼作為一個外鍵和訂單表建立相應的關係。而不可以在訂單表中添加關於客戶其它資訊(比如姓名、所屬公司等)的欄位。如下面這兩個表所示的設計就是一個滿足第三範式的資料庫表。

　　這樣在查詢訂單資訊的時候，就可以使用客戶編碼來引用客戶資訊表中的記錄，也不必在訂單資訊表中多次輸入客戶資訊的內容，減小了資料冗餘。

　　4、BCNF範式

　　鮑依斯-科得範式(BCNF是3NF的改進形式)

　　一個滿足BCNF的關係模式的條件:

　　1.所有非主屬性對每一個碼都是完全函數依賴。

　　2.所有的主屬性對每一個不包含它的碼,也是完全函數依賴。

　　3.沒有任何屬性完全函數依賴於非碼的任何一組屬性。

　　假設倉庫管理關聯性表為StorehouseManage(倉庫ID, 儲存物品ID, 管理員ID, 數量)，且有一個管理員只在一個倉庫工作;一個倉庫可以儲存多種物品。這個資料庫表中存在如下決定關係：

　　(倉庫ID, 儲存物品ID) →(管理員ID, 數量)

　　(管理員ID, 儲存物品ID) → (倉庫ID, 數量)

　　所以，(倉庫ID, 儲存物品ID)和(管理員ID, 儲存物品ID)都是StorehouseManage的候選關鍵字，表中的唯一非關鍵字段為數量，它是符合第三範式的。但是，由於存在如下決定關係：

　　(倉庫ID) → (管理員ID)

　　(管理員ID) → (倉庫ID)

　　即存在關鍵字段決定關鍵字段的情況，所以其不符合BCNF範式。

　　把倉庫管理關聯性表分解為二個關係表：

　　倉庫管理：StorehouseManage(倉庫ID, 管理員ID);

　　倉庫：Storehouse(倉庫ID, 儲存物品ID, 數量)。

　　這樣的資料庫表是符合BCNF範式的。

　　5、4NF

　　4NF就是限制關係模式的屬性之間不允許有非平凡且非函數依賴的多值依賴。因為根據定義，對於每一個非平凡的多值依賴X→→Y，X都含有候選碼，於是就有X→Y，所以4NF所允許的非平凡的多值依賴實際上是函數依賴。

　　這裡解決幾個概念：

　　函數依賴簡單點說就是：某個屬性集決定另一個屬性集時，稱另一屬性集依賴於該屬性集。

　　(1)資料依賴 在電腦科學中，資料依賴是指一種狀態，當程式結構導致資料引用之前處理過的資料時的狀態。其中最重要的是函數依賴和多值依賴。 (2)函數依賴 設X,Y是關係R的兩個屬性集合，當任何時刻R中的任意兩個元組中的X屬性值相同時，則它們的Y屬性值也相同，則稱X函數決定Y，或Y函數依賴於X。 (3)平凡函數依賴 當關係中屬性集合Y是屬性集合X的子集時(Y?X)，存在函數依賴X→Y，即一組屬性函數決定它的所有子集，這種函數依賴稱為平凡函數依賴。 (4)非平凡函數依賴 當關係中屬性集合Y不是屬性集合X的子集時，存在函數依賴X→Y，則稱這種函數依賴為非平凡函數依賴。 (5)完全函數依賴 設X,Y是關係R的兩個屬性集合，X’是X的真子集，存在X→Y，但對每一個X’都有X’!→Y，則稱Y完全函數依賴於X。 (6)部分函數依賴 設X,Y是關係R的兩個屬性集合，存在X→Y，若X’是X的真子集，存在X’→Y，則稱Y部分函數依賴於X。 (7)傳遞函數依賴 設X,Y,Z是關係R中互不相同的屬性集合，存在X→Y(Y !→X),Y→Z，則稱Z傳遞函數依賴於X。 (8)多值依賴 設R(U)是屬性集U上的一個關係模式。X，Y，Z是U的子集,並且Z=U-X-Y。關係模式R(U)中多值依賴X→→Y成立，若且唯若對R(U)的任一關係r,給定的一對(x，z)值有一組Y的值，這組值僅僅決定於x值而與z值無關。 平凡的多值依賴與非平凡的多值依賴： 若X→→Y,而Z為空白集，則稱X→→Y為平凡的多值依賴;若Z不為空白，則稱其為非平凡的多值依賴。