2011-12-25 129 views

回答

4

基於這些依賴關係,唯一的關鍵是{a,b}。因此{a,b,c,d,e}具有傳遞依賴性:ab-> d和d-> e。由於它具有傳遞依賴性,{a,b,c,d,e}不在3NF中。

這是可能是在2NF,但我不能確定不知道列的含義或知道代表值。例如,如果c列包含不同數量的電話號碼,則它可能甚至不在1NF中。 (在計算機科學家庭作業中,通常可以假設每列都包含一個值,在SO上,通常不能)。

當規範化一個關係時,會根據依賴關係投影屬性的一個子集。 (基於功能依賴關係在你的情況。)所以你可能會取代原來的關係與這兩個。

  • {A,B,C,d}
  • {d,E}

其中第一個可能是在至少4NF。第二個可能在6NF。 (不過,見上文第2段)。

歸不說,你可以從2NF移動到3NF 並沒有更高,從3NF到BCNF 並沒有更高,從BCNF到4NF 並沒有更高,等等。但這是常態化工作常見的誤解。在你的情況下,分解原始關係在4NF(至少)中產生一個關係,在6NF中產生一個關係。根據定義,這兩個都是3NF中的,但是沒有一種正常(咳嗽)方式來分解您的2NF關係,以獲得3NF 中的關係而不是更高的

+0

很好,但是從3NF和BCNF會選擇什麼? – 2012-01-02 15:17:40

+0

如果不刪除傳遞依賴項,則它不能位於3NF或BCNF中。如果刪除傳遞依賴項,則兩個表都可能超出BCNF。所以你不會選擇3NF或BCNF。 – 2012-01-02 17:40:09

3

正常形式的目標是正式指定和保證模式的某種質量。例如,僅滿足第二個標準形式條件的模式包含不屬於模式的屬性/函數依賴關係,導致冗餘和異常。 原始模式:({A,B,C,D,E,F},{A→BC,C→AD,E→ABC,F→CD,CD→BEF,AB→D} {A,C,E,F},候選鍵:{A},{C},{E},{F} 非黃金屬性:{B,d}

  1. Normalform:必須假設其他正態分佈。

  2. Normalform:每個非主要屬性必須完全功能依賴於每個候選鍵。

模式是肯定的第二個正常形式!

  1. Normalform:對於每個函數依賴α→βα必須是一個超密鑰或在β-側的每個屬性必須是微不足道的或質密鑰屬性。

    來自A→B C的α方{A}是模式的超級鍵(即,密鑰至少包含候選密鑰的屬性)。

    來自C→A D的α側{C}是模式的超級密鑰(即,密鑰至少包含候選密鑰的屬性)。

    來自E→A B C的α方{E}是模式的超級密鑰(即,密鑰至少包含候選密鑰的屬性)。

    來自F→C D的α側{F}是該模式的超級密鑰(即,密鑰至少包含候選密鑰的屬性)。

    來自C D→B E F的α方{C,D}是模式的超級密鑰(即,密鑰至少包含候選密鑰的屬性)。

    來自A B→D的α側{A,B}是該模式的超級密鑰(即該密鑰至少包含候選密鑰的屬性)。

該模式至少在第三正常形態!

Boyce-Codd-Normalform:對於每個函數依賴關係α→βα側是否必須是超級鍵或者函數依賴性必須是平凡的。

The α-side {A} from A → B C is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 

The α-side {C} from C → A D is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 

The α-side {E} from E → A B C is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 

The α-side {F} from F → C D is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 

The α-side {C, D} from C D → B E F is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 

The α-side {A, B} from A B → D is a superkey of the schema (i.e. the key contains at least the attributes of a candidate-key). 
相關問題