數(shù)據(jù)庫范式

關(guān)鍵詞： 數(shù)據(jù)庫 ?? 規(guī)范化 ?? ??????????????????????????????????????

(一周前看的數(shù)據(jù)庫范式，今天回顧，不知效果怎樣。)

最基本的數(shù)據(jù)庫范式有三個(gè)，第一范式(1NF)，第二范式(2NF)和第三范式(3NF)，分別定義如下，

1NF：如果關(guān)系模式R中的每個(gè)屬性都是單值的，則稱R∈1NF。

2NF：如果關(guān)系模式R∈1NF，且所有的非主屬性完全函數(shù)依賴于(每一個(gè)候選)碼，則稱R∈2NF。

3NF：如果關(guān)系模式R∈2NF，且不存在非主屬性傳遞函數(shù)依賴于碼的情況，則稱R∈3NF。

其中一些輔助概念定義如下，

函數(shù)依賴：

R(U)是屬性集U上的關(guān)系模式。X，Y都是U的子集。如果對(duì)于R(U)任何一個(gè)可能的關(guān)系r，不可能存在r的兩個(gè)元組，它們?cè)赬上的值相等，而在Y上的值不相等，則稱X函數(shù)確定Y，Y函數(shù)依賴X。

這是一個(gè)完全形式化的定義，它的意思是關(guān)系模式在某個(gè)屬性組上的值決定在另一個(gè)屬性組上的值。

完全函數(shù)依賴：

如果X函數(shù)確定Y，但是對(duì)X的任何真子集X'都沒有X'函數(shù)確定Y，則稱Y完全函數(shù)依賴X。

完全函數(shù)依賴就是要求X在函數(shù)確定Y時(shí)，不能包含多余的屬性。

傳遞函數(shù)依賴：

如果X函數(shù)確定Y，Y不能函數(shù)確定X，Y函數(shù)確定Z，則稱Z對(duì)X傳遞函數(shù)依賴。

候選碼，主碼，主屬性，非主屬性：

對(duì)關(guān)系模式R(U)，K是U的子集，如果K完全函數(shù)確定U，則稱K為R(U)的一個(gè)候選碼。在候選碼中選定一個(gè)做為主碼。包含在任何一個(gè)候選碼中的屬性稱為主屬性，不包含在任何一個(gè)候選碼中的屬性稱為非主屬性。

從候選碼的定義可以看出，候選碼是決定所有屬性的，并且決定時(shí)不包含多余屬性。不過一個(gè)關(guān)系模式總是有候選碼存在。

|----------------------------------------------------------------------------------------|
                           版權(quán)聲明  版權(quán)所有 @zhyiwww
            引用請(qǐng)注明來源 http://www.tkk7.com/zhyiwww   
|----------------------------------------------------------------------------------------|