BCNF: 在第三范式的基础之上，数据库表中如果不存在任何字段对任一候选关键字的传递函数依赖则附合BC范式。