bcnf,全称为Boyce Codd Normal Form,中文叫巴斯范式/鲍依斯-科得范式,是由Boyce和Codd提出的,比3NF又进了一步,通常认为是修正的第三范式。 设关系模式R∈1NF,如果对于R的每个函数依赖X→Y,若Y不属于X,则X必含有超码,那么R∈BCNF。满足BCNF条件有:所有非主属性对每一个候选键都是完全函数依赖; 所有的主属性对每一个不包含它的候选键,也是完全函数依赖;没有任何属性完全函数依赖于非候选键的任何一组属性。
The article discussed the applications of the closure algorithm to solve the problem of the functional dependency projection, and the relation decomposition based on BCNF.
文中讨论了闭包算法在函数依赖投影求解以及基于BCNF的关系分解中的应用。
Digraph will be constructed by using the dependence of the left of subset's FD. Some nodes will help to decompose a subschema of BCNF. The key of the subschema is the left or left's equivalence.
FD集中根据左部等价形成划分,划分的各子集根据左部的依赖关系形成一个有向图,有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD,其关键字就是各子集的等价左部。
应用推荐