BCNF分解算法数据库

BCNF分解算法存在一个关系模式R,并且此关系模式中存在 α→βα → β违反了BC范式分解条件
【BCNF分解算法】设将此关系模式R 分解为 {R_i} ,其中 i 为1,2,3,4…..n
BC分解算法如下所述:

result = R R_1 = 空集 for i in 1,2,3,4....n 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∩∩R_2 –>R 即R_1与R_2集合交属性集是R的超码(super key),则此二元分解是无损分解