database - ボイス-コッドの標準形

Question

ボイス-コッドの標準形がわかりません。教科書を見ましたが、よくわかりません。関係 R = (A,B,C,D,E) と F={A->C, D->CB, AC->E} としましょう。R が BCNF にあるかどうかをどのように判断しますか? 助けが必要。ありがとう！

Answer 1

リレーションが BCNF であるかどうかを判断するには、その機能依存関係を調べます。

各 FD X→Y について、

• X→Y は些細な機能依存 (Y ⊆ X)
• X はスキーマ R のスーパーキーです。

FDはA→C、D→CB、AC→E。最初の FD A→C から始めましょう。

A→C は、C ∉ A であるため自明ではありません。たとえば、A→A は自明な依存関係です。

A→C はスーパーキーですか？FD の左辺、この場合は A の閉包を計算することを確認します。閉包は、A によって論理的に暗示されたすべての要素です。[A]+ = A ∪ C ∪ E = ACE または A→ACE があります。

ACE は関係のすべての属性を含んでいるため、スーパーキーではありません。

したがって、A→C は自明でもスーパーキーでもないため、この関係は BCNF にはありません。

他にも BCNF 違反があります。[D]+ = スーパーキーでも自明でもない BCD。[AC]+ = スーパーキーでも自明でもない ACE。

お役に立てれば！すべてが正しいと思いますが、今は最終試験に向けて勉強していて、この教材もたくさん学ぼうとしています.