database - 関数の依存関係の推論規則、X->A、Y->B、XY->AB

Question

タイトルにあるように、X->A と Y->B があるのになぜ XY->AB と書くのが間違っているのか理解に苦しみます。Aが機能的にXに依存し、Bが機能的にYに依存している場合、左側にXYがある場合、右側に対応する値が必要です。とにかく、私の本はこれが間違っていると言っているので、これが間違っていることが証明されている例を誰か教えてもらえますか? 前もって感謝します ：）

Answer 1

あなたはこれについて間違った方法で進んでいます。

「{X->A, Y->B}、したがって XY->AB」が真であるためには、{X->A, Y->B} から XY->AB を導出できることを証明する必要があります。、アームストロングの公理とアームストロングの公理から派生した追加のルールのみを使用します。

Answer 2

XがAを一意に決定し、同様にYがBを一意に決定する 場合、 XYの任意の組み合わせによりABが一意に決定されます。

したがって、X->A、Y->Bは XY- >AB がtrueであると推測します。

その他のサポート リンク。

http://en.wikipedia.org/wiki/Functional_dependency …</p>

合成ルールはこちらをご覧ください。十分にクレビルではありませんか？次に、次のリンクで、スライド 9 は次のように述べています。

教科書、341 ページ: 「… XA、および YB は XY AB を意味するものではありません。」このステートメントが間違っていることを証明してください。

http://www.ida.liu.se/~TDDD37/fo/fo-normalization

さらに、マイクの答えは「その逆」を証明しようとしていますが、これは必ずしも正しいとは限りません。