关系模式R如何分解成既满足BCNF又具有无损连接性

关系模式R(A,B,C,D,E)
函数依赖集F={A->C, C->D, B->C, DE->C, CE->A}

首先确定候选码(BE)
在R中找到X->Y，X不属于超键，如选择A->C，A不是超键
把R分为两部分 R1={AC}, R2={ABDE}，其中A也就是X是两边都保留，Y即C只保留一边
R1已经是BCNF了，所以只需判断R2，如果没有达到要求，继续分解
对于R2可以找到A->D，A不属于超键
R2分为了R3={AD}, R4={ABE}, A两边保留，D只留一边
此时R1, R3均为BCNF，R4的函数依赖为BE->A符合BCNF
分解完成