グラフから関数の依存関係を調べる

Question

次のインスタンスがどの依存関係を満たしているかを知る方法は誰にも分かりますか？

私はそれがB-> A、B-> C、A-> C、C-> A（およびその他の暗黙の依存関係）を満たす知っ

A B C 
1 0 1 
1 1 1 

が、私はどのようにの概念を把握することができていませんこのチャートからそれを見るだけです。どのように私はそれを読んで、それが0と1だけで満足するものを決定することになっていると誰が説明することができますか？

よりよく理解するために別の例を追加する：B = 0、B = 2、あなたはBをベースことができる唯一の行があるので

A B C 
1 0 1 
1 1 1 
2 2 1 

を - >ユニーク一つにのみ1行分のオフA値。同様に、B = 0かつA = 1の場所は1つしかないので、0のBの値がないので自動的に保持されます。

Answer 1

このような質問に答えるの道はのは、それらX を呼ぶことにしましょう、列のすべての可能な適切なサブセットを見ている

、X 、...、そうで（単一の列で最初に始まりますこの場合、我々は、Xで始まる = A、X = B、X = C、およびその他の列が同じ値を有する、X _Iに同じ値を、参照しよう。

たとえば、Aで始まって、A = 1の場合、Bは2つの異なる値を持つことがわかります。thi sは、A はには依存しないことを意味します（つまり、関数依存の定義であるAの値と同じ値ではありません）.C はに同じ値（1）を持ちます。この関係のインスタンスがA→Cを満たすと仮定します。

Bを見ると、すべての値が異なることが分かります。したがって、他のすべての列はそれに依存し、B→A、B→ C.最後に、Cの分析では、Cの値が等しいときにAの値だけが等しいので、C→Aとなることがわかります。

属性のペアを考慮せずにAB、AC 、BCである。この単純なケースでは、すべての属性がdある種の依存関係が存在することを意味するので、決定子としての属性の集合との依存関係は、すでに見つかった依存関係によって暗示される。特定のインスタンスで

要するに

、依存関係のXかどうかを知るために - 、我々はチェック> Yホールドかどうか： をXの全ての値が異なっている場合、依存関係の把握を。繰り返し値を持つ行がある場合、Xの値が同じである各行について、Yの値が常に同じであれば、依存関係は成立します。ここ

は別の例である：この場合

A B C 
1 2 2 
0 3 3 
1 2 4 
2 2 4 

]→[B？はい、A（1）と同じ値を持つ2行（1番目と4番目）であり、両方の行でBの値が等しい（2）ためです。 A→Cですか？いいえ、Cは1行目と4行目に2つの異なる値を持つためです。 B→A？ Bは同じ値（2）を持つ3つの行を持ち、Aは同じ行（1と2）で異なる値を持つため、いいえ。