关系模式的范式~NF分类与规范化

一、范式分类

第一范式（1NF）：字段都是单一属性的，分量不可再分。这个单一属性由基本类型构成，包括整型、实数、字符型、逻辑型、日期型等。

第二范式（2NF）：不存在非关键字段对任一候选键字段的部分函数依赖 / 所有非关键字段都完全依赖于任意一组候选关键字（例：候选键ABC，非主属性D，如果ABC–>D则满足2NF；如果AB–>D，则非2NF）。

第三范式（3NF）：在2NF基础上，不存在非关键字段对任一候选关键字段的传递函数依赖。传递函数依赖，指的是如果存在"A → B → C"的决定关系，则C传递函数依赖于A。因此，满足第三范式的数据库表应该不存在如下依赖关系： 关键字段 → 非关键字段x → 非关键字段y 。

BCNF: 在3NF的基础上不存在关键字段决定关键字段的情况，每个属性都不传递依赖于键码。
参考：https://blog.csdn.net/xingchenhy/article/details/71424906

二、规范化（提高关系模式级别）

3NF分解方法

1. 对于R上FD集，先求出Fmin，然后把Fmin中那些左部相同的FD用合并性合并起来
2. 对合并后的每个FD X→Y构成一个模式XY
3. 在构成的模式中，如果每个模式都不包含R的候选键，那么将候选键作为一个模式放入模式集中

注：这样得到的模式集是R的一个分解，具有无损分解和保持函数依赖

例：设R(ABCD),F是R上的FD集，F={AB→CD，A→D}，说明R为