[1] 関係スキーマRの属性集合X, Y (互いに素でなくてもよい。) について (∀s, t ∈ R) (s[X] = t[X] ⇒ s[Y] = t[Y]) (RはRの任意の実現値。) が成立する時、XからYへの関数従属性 (かんすうじゅうぞくせい) (functional dependency) が存在 (XがYを関数的に決定、YがXに関数従属) し、 X → Y と書く。

(名無しさん [sage])

[2] 自明な関数従属性:

• Y ⊆ X な時、 X → Y
• X → φ
• X → X

(名無しさん [sage])

[3] 公理系:

反射律

X ⊆ Y ならば X → Y (自明な関数従属性)

添加律

X → YかつZ ⊆ ΩRなら、 X ∪ Z → Y ∪ Z

推移律

X → YかつY → Z}]なら、 X → Z

(アームストロング公理系)

(名無しさん [sage])

[4] >>3 は健全かつ完全。 (名無しさん [sage])