确定模式的函数依赖关系集合 FD。
针对每个关系 R = {A1,A2,...,An},将模式分解为满足 BCNF 的关系。
对于每个分解后的关系,执行以下操作:
3.1 判断关系是否满足 BCNF,如果满足,则跳过该关系。
3.2 如果不满足 BCNF,则选择一个违反 BCNF 的函数依赖关系集合 C,将其断开,生成新的关系 R1 和 R2。
3.3 将所有与 C 中右侧属性相同的属性移至 R2 中,将 C 中左侧属性和剩余属性移至 R1 中。
3.4 将 R1 和 R2 按照相同的方式继续分解。
重复步骤 3 直至所有关系满足 BCNF。
代码示例:
输入:模式 R 和函数依赖集合 FD 输出:分解后的关系
BCNF(R, FD) { if(R is BCNF) return R else { Choose a FD "X -> Y" that violates BCNF for R Split R into R1(X, Y) and R2(X, R-Y) return BCNF(R1, F) U BCNF(R2, F) } }
上一篇:bc能准确计算多少位小数?