标签:
函数依赖:
对于关系模式 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)中的所有非主属性对主属性都不存在传递依赖。
消除非主属性与主属性之间的传递依赖关系
标签:
原文地址:http://www.cnblogs.com/Mercurial/p/5600473.html