BCNF分解算法

BCNF分解算法

存在一个关系模式R,并且此关系模式中存在$α \to β$ 违反了BC范式分解条件

设 将此关系模式R 分解为 {R_i} ,其中 i 为1,2,3,4…..n

BC分解算法如下所述:

result = R 
R_1 = 空集
for i in 1,2,3,4....n 
    //如果R_i不违反BCNF,则不分解R_i
    if R_i 关系模式中有 α --> β 违反了 BC范式
        relust =  (result-R_i) + (R_i-(α-β)) + (α+β)

伪代码解析:

• 违反BC范式的情况:
  
  • α–>β 是R_i分解关系模式中的函数依赖,且α不是R_i的super key
• 此分解算法得到的分解关系模式{R_i}是保持依赖的 + 无损分解的
  
  • 保持依赖算法香见我的另一篇博客,click here
  • 二元无损分解的条件:
  • 将R分解成R_1和R_2。若R_1 $\cap$ R_2 –>R 即R_1与R_2集合交属性集是R的超码(super key),则此二元 分解是无损分解