Boyce Codd 范式 (BCNF)

• BCNF 是 3NF 的高级版本。它比 3NF 更严格。
• 如果对于每个函数依赖 X → Y，X 是表的主键，则该表处于 BCNF 中。
• 要达到 BCNF，表应处于 3NF 中，并且对于每个函数依赖，左侧都是主键。

示例： 假设有一家公司，员工在多个部门工作。

EMPLOYEE 表

在上表中，函数依赖关系如下

候选键：{EMP-ID, EMP-DEPT}

该表不符合 BCNF，因为 EMP_DEPT 和 EMP_ID 单独都不是键。

为了将给定的表转换为 BCNF，我们将其分解为三个表

EMP_COUNTRY 表

EMP_DEPT 表

EMP_DEPT_MAPPING 表

函数依赖

候选键

对于第一个表： EMP_ID
对于第二个表： EMP_DEPT
对于第三个表： {EMP_ID, EMP_DEPT}

现在，这符合 BCNF，因为两个函数依赖关系的左侧部分都是键。