博伊斯-科德范式 (BCNF)

BCNF 是第三范式 (3NF) 的扩大，比 3NF 稍弱。

关连 R 属于 BCNF，奈何 P -> Q 是普通的函数依赖，P 是 R 的超键。

若何关连正在 BCNF 外，则象征着基于函数依赖的冗余未被增除了，但一些冗余依旧具有。

让咱们望一个例子 -

罪能依赖 {Package->Ground}

它存在抉择性属性 Package on which Ground与决于既没有是候选键也没有是候选键的超散。

而今以上表格采纳 BCNF 格局。

表的候选键是 Package 以及 Ground

的候选键表是 {Ground, Begin_Time} 以及 {Ground, End_Time}

因为咱们正在相干。

以上即是专伊斯-科德范式 (BCNF)的具体形式，更多请存眷萤水红IT仄台其余相闭文章！