一、概念
- 函数依赖
- 设R(U)是属性集合U={A1,A2,…,An}上的一个关系模式,X,Y是U上的两个子集,若对R(U)的任意一个可能关系r,r中不可能有两个元组满足在X中的属性值相等而在Y中的属性值不等,则称函数X决定Y或函数Y依赖于X,记作X->Y
- 直观地说就是看有一个表格的一列,要是全都是不一样的值的话它一定可以决定任意列;要是有相同的值的话,看相同值对应行的那个想要被决定的属性值相不相等。如果相等的话就可以决定那个属性。决定多个属性要多个属性都相同才行w
- 看表格找出函数依赖↑
- 函数依赖的特性
- 非平凡的函数依赖:被决定因素不包含决定因素。如果包含的话就平凡。
- 若X->Y,则责任一两个元组若X上的值相等,则Y上的值必然相等,并且称X位决定因素
- 若X->Y,Y->X,则记作X<->Y
- 部分函数依赖 & 完全函数依赖
- 在R(U)中,如果X->Y并且对于X的人和镇自己X'都有X'!->Y,则称Y完全函数依赖于X,记为X-f->Y;否则称Y部分函数依赖于X,记为X-p->Y
- 部分函数依赖存在非受控冗余
- 传递函数依赖
- R