关系型数据库规范化

函数依赖：

对于关系模式 R(U)

·X-->Y  Y∈X 平凡函数依赖 A1,A2-->A2

·X-->Y  Y∉X 非平凡函数依赖 A1,A2-->A3

·X-->Y  X的任一真子集 X‘-\->Y 完全函数依赖 A1,A2-->A3 A1-\->A3 A2-\->A3

·X-->Y  Y不完全函数依赖X 部分函数依赖 A1,A2-->A3 A1-\->A3 A2-->A3

·X-->Y Y-->Z Y-\->X Z∉X Z传递函数依赖于X 传递函数依赖于A1,A2-->A3 A3-->A4 A3-\->A1,A2

范式：

1NF：关系模式中R的每个关系的属性都是不可分的数据项。

R中每一个属性都是单一且不可分割的

2NF：满足1NF的前提下，每个非主属性完全依赖与候选键。

消除非主属性对主属性的部分函数依赖

3NF：满足2NF的前提下，关系模式R(U,F)中的所有非主属性对主属性都不存在传递依赖。

消除非主属性与主属性之间的传递依赖关系