数据库复习 BCNF分解算法

算法描述 输入：关系R0和其上的函数依赖集S0 输出：由R0分解出的关系集合，其中每一个关系均属于BCNF 方法：下列步骤能够被递归地用于任意关系R和FD集合S。初始时，R=R0，S=S0。web 检验R是否属于BCNF。若是是，不须要作任何事，返回{R}做为结果。 若是存在BCNF违例，假设为X→Y。计算X+。选择R1=X+做为一个关系模式，并使另外一个关系模式R2包含属性X以及那些不在X+中的

>>阅读原文<<