数据库复习 BCNF分解算法

算法描述

输入：关系R₀和其上的函数依赖集S₀
输出：由R₀分解出的关系集合，其中每个关系均属于BCNF
方法：下列步骤可以被递归地用于任意关系R和FD集合S。初始时，R=R₀，S=S₀。

1. 检验R是否属于BCNF。如果是，不需要做任何事，返回{R}作为结果。
2. 如果存在BCNF违例，假设为X→Y。计算X⁺。选择R₁=X⁺作为一个关系模式，并使另一个关系模式R₂包含属性X以及那些不在X⁺中的属性。
3. 计算R₁和R₂的FD集，分别记为S₁和S₂。
4. 递归地分解R₁和R₂。返回这些分解得到的结果集合。

---

举例

《数据库系统基础教程 原书第3版》P52
习题3.3.1 对于下列关系模式和FD集合：
a) R(A,B,C,D) FD{AB→C,C→D,D→A}
b) R(A,B,C,D) FD{B→C,B→D}
c) R(A,B,C,D) FD{AB→C,BC→D,CD→A,AD→B}
d) R(A,B,C,D) FD{A→B,B→C,C→D,D→A}
e) R(A,B,C,D,E) FD{AB→C,DE→C,B→D}
f) R(A,B,C,D,E) FD{AB→C,C→