Boyce-Codd范式（英语：Boyce-Codd normal form，缩写BCNF），是数据库规范化的一种正规形式。是在第三范式的基础上加上稍微更严格约束，每个BCNF关系都满足第三范式。BCNF去除了属性间的不必要的函数依赖。

BCNF的定义是：

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

Boyce–Codd normal form (or BCNF or 3.5NF) is a normal form used in database normalization. It is a slightly stronger version of the third normal form (3NF). BCNF was developed in 1974 by Raymond F. Boyce and Edgar F. Codd to address certain types of anomalies not dealt with by 3NF as originally defined.