シンプトンの場合、関数の依存関係はサブトック関係を意味しますか？

Question

FDの定義を見る。 XとYは、スキーマの属性のサブセットがある場合、私は両方の参照：Y⊆X.

FD X→Yが些細場合にのみYの場合であれば

• FD X→Yが些細です⊆X.

「些細な」の別の特徴付けは「おそらく失敗することはできません」（CJ Date）。 重要ではないが明示的に特徴付けられている場合、「些細ではない」（「もちろん」）。

のドメインが1つの値を持つとします。任意関係Rはを含む場合、Rの属性のすべてのセットが機能すなわちX→Aかかわらずかどうか{の、を決定し、Aのタイプはその後だけ値1を含み、言います}⊆Xか、それはおそらく、任意のX⊆R.理由のために保持していないことができないので：その -componentが必ず1

ことも、与えられたどのような任意subtupleを与え

したがって、このようなドメインを考慮すると、は、という具合にFDを特徴付けるサブセット条件ですか？

（これらのシングルトンドメインは、順番に、私は推測する、あまりにも、些細ともいえるが、それでも定義は、私は疑問に思う。あるいは混乱しました。;-)関係Rで

Answer 1

あなたが一つ以上を持つことができます属性は一定です。 Aはその関係よりも、このような属性を、されている場合は、次は、は非自明な、依存関係が成り立つ：

∅ → A 

機能依存の定義に考えると、このことは内のタプルの各カップルのためのRのインスタンスでは、常にAに一致します。この依存関係は、右辺部分が左辺部分のサブセットではないため、明らかに重要ではありません。

：この依存関係の結果として、我々はX→Aは、Rの各属性のサブセットXのためにこれは簡単に再帰性と推移性規則を適用することによって、アームストロングの公理から導出することができることを持っている。また

、

X → ∅ (for the reflexivity rule, since for each X, ∅ ⊆ X) 
X → A (by applying the transitivity rule to X → ∅ and ∅ → A)