リレーションシップがBCNF形式であるかどうかを確認しますか？

Question

次の関係がBCNF形式であるかどうかを確認するにはどうすればよいですか？

R(U,V,W,X,Y,Z) 

UVW ->X 
VW -> YU 
VWY ->Z 

私は関係X-> Yを理解しています。 Xはスーパーキーでなければなりません。それは3NF形式でなければなりませんが、私はどのように概念を適用するのか分かりません。前もって感謝します。

Answer 1

リレーションシップがBCNFにあるかどうかを判断するには、定義にはF+の非自明な依存関係、つまり指定されたすべての依存関係（F）とそれから導出されるものについてチェックする必要があります。スーパーキー。幸いにも、指定された依存関係に対してのみこのチェックを実行すれば十分であるという定理があります。

これは、UVW、VW、およびVWYがスーパーキーであるかどうかをチェックする必要があることを意味します。

と依存X -> YにセットがX属性かどうかを確認するためには、あなたが属性（X+）の閉鎖を計算し、それが右側部分Yが含まれているかどうかを確認することができますスーパーキーです。

したがって、UVW+を計算し、それに{U,V,W,X,Y,Z}が含まれているかどうかを確認し、他の2つの依存関係についても同様に確認する必要があります。私はこの簡単な運動をあなたに任せます。