Boyce-Codd范式(BCNF)

若关系符合1NF，且对于每个函数依赖X→Y，X必含有候选键，或者关系中的每个决定属性集都是候选键，则关系达到BCNF的要求。