Boyce-Codd范式（英语：Boyce-Codd normal form，缩写BCNF），是数据库规范化的一种正规形式。

是在第三范式的基础上加上稍微更严格约束，每个BCNF关系都满足第三范式。BCNF去除了属性间的不必要的函数依赖。

如果对于关系模式R中存在的任意一个非平凡函数依赖X-A，都满足X是R的一个超键，那么关系模式R就属于BCNF。

平凡函数依赖关系是指，如果属性集合X包含了属性集合A，那么就一定有X-A；超键是指能够唯一确定表中各行的属性集合，因此一个超键的最小化就是一个候选键；BCNF是说，如果一个属性集合X能“不平凡”地推导出另一个属性集合A，而且X还不能唯一区分表的各行，那么这个表中一定包含了一些冗余信息。

BCNF与第三范式的不同之处在于：第三范式中不允许非主属性被另一个非主属性决定，但第三范式允许主属性被非主属性决定；而在BCNF中，任何属性（包括非主属性和主属性）都不能被非主属性所决定。

BCNF性质

1 、所有非主属性对每一个候选键都是完全函数依赖；

2 、所有的主属性对每一个不包含它的候选键，也是完全函数依赖；

3 、没有任何属性完全函数依赖于非候选键的任何一组属性。