关系型数据库规范化

函数依赖：

对于关系模式 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)中的所有非主属性对主属性都不存在传递依赖。

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