关系型数据库规范化
函数依赖:
对于关系模式 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)中的所有非主属性对主属性都不存在传递依赖。
消除非主属性与主属性之间的传递依赖关系