BC范式 Boyce–Codd normal form
（重定向自Boyce Codd Normal Form）
Boyce-Codd范式（英语：Boyce-Codd normal form，缩写BCNF），是数据库规范化的一种正规形式。是在第三范式的基础上加上稍微更严格约束，每个BCNF关系都满足第三范式。BCNF去除了属性间的不必要的函数依赖。
BCNF的定义是：
对上述定义，可以理解为：平凡函数依赖关系是指，如果属性集合X包含了属性集合A，那幺就一定有X->A；超键是指能够唯一确定表中各行的属性集合，因此一个超键的最小化就是一个可选键；BCNF是说，如果一个属性集合X能“不平凡”地推导出另一个属性集合A，而且X还不能唯一区分表的各行，那幺这个表中一定包含了一些冗余信息。