2

FD で空集合の概念を把握しようとしています。私が持っていると言う

R(A,B,C,D)

A-> E
B-> C
B-> D

ここで、E は空集合です。私が理解していることから、これは自明な FD です。なぜなら、A を持つことから新しいことは何も学べないからです。

E-> A
B-> C
B-> D

これは正確にはどういう意味ですか？それは単に「A を意味するものは何もない」ので、A は定義されたドメイン内で任意の値を持つことができますか、それとも A は NULL 値でなければなりませんか?

4

1 に答える 1

7

空集合は通常 ∅ または {} と書きます。

  • A->{} は自明です。({} は A のサブセットであるため)。
  • {}->A は自明ではありません。(ただし、A が {} の場合を除きます。{} はすべてのセットのサブセットであり、{} のサブセットでもあるためです)。

{}->A は、他の値を使用せずに A の値を決定できることを意味します。つまり、A の値は R のすべてのタプルで同じでなければなりません。これは、 A に行列式がない、またはA はヌルです。A の行列式がない場合、A は制約を受けず、異なるタプルで異なる値を持つことができます。

空のセットへの依存関係の例として、男性専用クラブのメンバーシップを定義する Member リレーションの Sex 属性があります: {}->Sex.

于 2013-04-29T06:24:21.923 に答える