數據庫基礎概論-範式的區分與學習

1.第一範式（1NF）

定義：若是關係R的每個屬性值是不可再分的最小數據單位，則稱R爲第一範式（1NF）。第一範式是一個不含重複組的關係，也不存在嵌套結構。第一範式中是既存在函數依賴，又存在部分函數依賴和傳遞依賴。

2.第二範式（2NF）

定義：若R€1NF，且R中的每一個非主屬性都徹底依賴於R的任一候選碼，則R€2NF。第二範式中存在着非主屬性對候選碼的傳遞依賴。

3.第三範式

定義：若是關係R中的任何一個非主屬性不傳遞依賴於它的任何一個候選碼，則R€3NF。

4.BCNF

通常來講第三範式的關係大多數能解決插入和刪除異常問題，但也存在一些例外。爲了解決3NF有時出現的插入和刪除異常等問題，提出了3NF的改進形式BCNF。

定義：關係模式R<U,F>€1NF.若函數依賴集合F中的全部函數依賴X->Y(Y¢X)的左部都包含R任一候選碼，則R€BCNF。

5.函數徹底依賴

定義：在R(U)中，若是X->Y,而且對X的任何一個真子集X`，都有X′不能推導出Y，則稱Y徹底函數依賴於X。

例如：C#→SNAME，S#→CLASS，這樣的都是徹底函數依賴。

對左部由多屬性組合而成的函數依賴，就要看其真子集可否決定右部屬性。

例如：（C#，S#）→GRADE是一個徹底函數依賴，由於S#→GRADE，C#≠>GRADE，

　　　（C#,S#）→SNAME是部分函數依賴，由於S#→SNAME，C#→SNAME。