A↠BCおよびA→Bの場合、A→Cの場合、どのように証明または反証できますか
/ From [〜＃〜] gate [〜＃〜] 2007 IT：
以下に示す機能的および複数の値の依存関係に関連する次の影響を考慮してください。これは正しい場合とそうでない場合があります。
A) If A ↠ B and A ↠ C then A → BC B) If A → B and A → C then A ↠ BC C) If A ↠ BC and A → B then A → C D) If A → BC and A → B then A ↠ C上記の含意のうちどれだけが有効ですか？
A）0 B）1 C）2 D）3
私は第4正規形と複数の値の依存関係を研究したばかりで、複数の値の依存関係に推論ルールを適用するのに苦労しています。
オンラインで検索しましたが、リソースは見つかりませんでした。
私は試した：
A）If A ↠ B and A ↠ C then A → BC。これは誤りです。見るのは非常に明白です。
B）If A → B and A → C then A ↠ BC。これは、FDの拡張ルールを使用して証明できます。 A-> B＆A-> C.次に、A-> BCを取得します。レプリケーションルールを使用して、↠BCを取得します。
D）If A → BC and A → B then A ↠ C。 A-> BCなので、これは真実です。 A-> Cを取得できます。レプリケーションルールを使用すると、A↠Cを取得できます。
C）If A ↠ BC and A → B then A → C。ここでは、結合ルールを使用して、A-> Bを取得しています。 A→Cを証明/反証することができません。
オプションCの証明/反証を手伝ってください。
A↠BCのような2つの属性に複数の値の依存関係があるとはどういう意味ですか？本で見たすべての例は、従業員↠プロジェクトのようなものです。従属。従業員が同時に2つの属性を決定します。したがって、重複して保存することになります。しかし、右側に2つの属性を持つ複数の値を持つ依存関係に遭遇したことはありません。そのような依存関係の例を挙げてください。
A、B、Cは属性のセットです。
本で見たすべての例は、従業員↠プロジェクトのようなものです。従属。従業員が同時に2つの属性を決定します。
A↠B | Cは、A↠BCとは異なる特殊表記です。 MVDは常にペアで提供されるので便利です。 A↠BとA↠Cの両方が成り立つということです。これは、関係がAB JOIN ACに等しいことを意味します。つまり、関係は結合依存関係* {AB、AC}を満たします。
- A↠BCのような2つの属性に複数の値の依存関係があるとはどういう意味ですか？
そのような依存関係の例を挙げてください。
サブ行の値は、1つの属性の値と同じように考えてください。 {W}↠{X}と仮定します。次に、Wが現れるたびに、X値のすべてのセットが表示されます。各Xに分子Nと分母Dがあるとします。次に、{W}↠{N、D}の関係ができます。 Wが表示されるときはいつでも、<N、D>のサブ行の値のセットすべてが含まれています。
- オプションCの証明/反証を手伝ってください。
C）A↠BCおよびA→Bの場合、A→Cです。ここでは、結合ルールを使用して、A-> Bを取得しています。 A→Cを証明/反証することができません。
ヒント：最後の段落で{W}→{N}の場合、バリエーションはDからのものでなければなりません。
ヒント：反例によって証明することが許可されている場合は、1つ以上の些細な例を推測することで物事を反証することをお勧めします。たとえば、{W}↠{N、D}および{W}→{N}（A = {W}、B = {N}、C = {D}）の場合：
V W N D
=================
| v | w | n | 1 |
-----------------
| v | w | n | 2 |
-----------------