Boyce-Codd Normal Form（BCNF）

Boyce-Codd Normal Form (BCNF)

Boyce-Codd Normal Form是Third Normal Form 的一种扩展，因此有时候也被称为3.5范式。

在讲BCNF之前，我们需要知道许多其他的一些概念，下面一一叙述，别怕，很简单的。

1.functional dependency（函数依赖）

它的定义如下：

if two tuples of R agree on all of the attributes A₁A₂A₃…A_n(i.e., the tuples have the same values in their respective componets for each of these attributes), then they must also agree on all of another list of attributes B₁B₂B₃…B_n. So, we write this FD formally as:
$$A_1{A}_2{A}_3...A_n\to B_1{B}^{}$$