关系数据库：函数依赖、3NF范式、BCNF范式

1 函数依赖

函数依赖（functional dependency，FD）是一种完整性约束，是现实世界事物属性之间的一种制约关系，它广泛地存在于现实世界之中。

1.1 函数依赖

1.2 平凡与非平凡函数依赖

1.3 完全函数依赖和部分函数依赖

1.4 传递函数依赖

2 范式

  给定一个关系模式，需要确定它是否是一个“好”的设计。如果不是，则需要将其分解为一些小的关系模式。因此，首先需要了解当前关系模式中属性之间的关系。
  基于函数依赖理论，关系模式可分成第一范式(1NF)，第二范式(2NF)，第三范式(3NF)和 Boyce-Codd 范式(BCNF)。这几种范式的要求一个比一个严格，它们之间的联系为BCNF ⊂ 3NF ⊂ 2NF ⊂ 1NF。即满足 BCNF 范式的关系一定满足3NF范式，满足3NF 范式的关系一定满足2NF范式，满足2NF范式的关系一定满足1NF范式。

2.1 第一范式（1NF）— 码

2.2 第二范式（2NF）— 全部是码

2.3 第三范式（3NF）— 仅仅是码

2.4 Boyce–Codd范式（BCNF）