MOOC战德臣数据库课程自用笔记_8_属性闭包计算方法

属性闭包计算方法

[Algorithm]： 计算一属性集关于一组函数依赖的属性闭包

[Input]：有限属性集合 $U$，$U$ 上的函数依赖集合 $F$，及 $U$ 的子集 $X$

[Output]：$X$ 关于 $F$ 的属性闭包 $X^{+}$，记作 $X_F^{+}$

[Method]：按下列规则递归计算属性序列 $X^{(0)},X^{(1)},...$

1. 令 $X^{(0)}=X,i=0$
2. B = { A ∣ ( ∃ V ) ( ∃ W ) ( ) V → W ∈ F ∧ V ⊆ X ( i ) ∧ A ⊆ W } B=\{A|(\exist V)(\exist W)()V \rightarrow W \in F \wedge V \subseteq X^{(i) }\wedge A \subseteq W\} B={A∣(∃V)(∃W)()V→W∈F∧V⊆X(i)∧A⊆W}
3. $X^{(i+1)}=B\cup X^{(i)}$
4. if $X^{(i+1)}\ne X^{(i)}$ then $i=i+1;$ goto 2.
5. $X_F^{+}=X^{(i)}$，算法终止

例子：