chapter10_关系数据库设计理论_4_关系模式的规范化

• 第一范式 1NF

  关系模式R中的每一个属性对应的域值都是不可再分的

• 第二范式 2NF

  (1) 候选键

  有的关系中，能够标识元组的属性(组)不止一个。此时它们都称为候选键（所有候选键中属性的数量应该一致）

  (2) 主属性和非主属性：如果某个属性包含在关系模式的某个候选键中，则为__主属性__；否则为__非主属性__

  (3) 2NF定义

  一个关系模式满足1NF，且非主属性完全依赖于R的每个候选键

• 第三范式 3NF

  (1) 定义

  一个关系模式满足1NF，且没有非主属性传递依赖于R的候选键

  (2) 若一个关系模式满足 3NF，则它一定满足2NF

• 修正的第三范式（Boyce-Codd范式） BCNF

  (1) 定义

  一个关系模式满足1NF，且没有任何属性（包括主属性、非主属性）传递依赖于R的任意关键字

  (2) BCNF不但排除了非主属性对主属性的传递依赖，也排除了主属性间的传递依赖

  (3) 等价定义

  一个关系模式满足1NF，且对于它的每个函数依赖X->Y，都有X是R的其中一个候选键

  (4) 若一个关系模式满足BCNF，则它一定满足3NF

  (5) 在函数依赖的范围内，BCNF已经达到了关系模式的最大分离，是函数依赖范围内能够达到的最高范式<