属性閉包

$X \subseteq R$ に対し、$X$ の属性閉包 $X^{+}$ を次の手続きの結果と定めます。

1. $X^{+} := X$ とする。
2. $F$ の中に $V \to W$ であって $V \subseteq X^{+}$ かつ $W \not\subseteq X^{+}$ なるものがある限り、$X^{+} := X^{+} \cup W$ とする。
3. そのようなものが無くなったら終了。

$R$ は有限で $X^{+}$ は各ステップで真に増えるので、この手続きは高々 $|R|$ 回の追加で停止します。