BCNF（Boyce-Codd Normal Form）是关系数据库理论中的一个规范化形式，它是对关系数据库进行规范化设计的重要标准之一。BCNF是由Raymond F. Boyce和Edgar F. Codd在1974年提出的，它是对关系模式进行规范化的一种更高层次的要求。
在关系数据库中，规范化是为了消除数据冗余和避免更新异常，提高数据的一致性和完整性。BCNF是第三范式（3NF）的进一步扩展，它要求：
1. 每个非主属性完全函数依赖于候选键（即，不存在传递依赖）。
2. 每个候选键都应该是独立的，即不存在部分依赖。
具体来说，BCNF的几个关键点如下：
候选键：在关系模式中，候选键是能唯一标识每行数据的属性或属性集合。
非主属性：在关系中，非主属性是指不是候选键的属性。
函数依赖：在关系模式中，如果对于属性集合X和Y，对于关系R中的任意两个元组t1和t2，如果t1[X] = t2[X]，则t1[Y] = t2[Y]，那么称Y函数依赖于X。
如果一个关系模式满足以下条件，则它处于BCNF：
每个属性都是某个候选键的组成部分。
没有传递依赖，即不存在非主属性对候选键的函数依赖。
BCNF是数据库规范化设计中的一个重要步骤，它有助于减少数据冗余，提高数据的一致性和完整性。然而，BCNF并不总是最优的，有时可能需要进一步规范化到4NF或5NF。
