問題タブ [bcnf]

私には関係があります：A,B,C,D,E

FD付き:

A->BCになれるので、A->BにA->CなれB->DますA->D。そして からA->C、A->Dそして にCD->EなることができA->Eます。よくわかりませんE->Aが、それ以来A->E、そうでA->Aあり、些細なFDになると思います。つまり、この関係のキーは{A}? Aしたがって、左側にある唯一の FD はになりますA->BC。

しかし、この関係は BCNF にあるのでしょうか。そうでない場合、BCNF になるように変更するにはどうすればよいですか? BCNF に違反する FD を関係を分離するための出発点として使用することを読みましたが、左側に A がない FD を選択し、そこで分離し続けますか?

プライム属性は候補キーのメンバーのみですか、それともスーパーキーにもなり得ますか? プライム属性は任意のキーのメンバーになることができ、他の人はそれが候補キーのメンバーである必要があると言っているので、私は少し混乱しています。

テーブルzoo（a、b、c、d、e、f、g）とFDを検討してください

a → b,d,e,g
c,d → f
f → c
e,g → d

その上で正規化を実行します。

候補キーは {a,c} {a,f} であるため、素数は {a,c,f} です。

2NF は a → b,d,e,g によって破られる

次に、新しいテーブルは t1(a,b,d,e,g)、zoo(a,c,f) です

3NF は e,g → d によって破られる

次に、新しいテーブルは t2(e,g,d)、t1(a,b,e,g)、zoo(a,c,f) です。

BCNF 違反は素数 -> 素数ですが、c と f は素数ですが、d は非素数なので、lhs には素数と非素数があり、rhs は素数です。

次に、私の質問は、FD c、d → f をどのように処理するかです。