【数据库系统概念】函数依赖及其公式定理

一、概念

• 函数依赖
  • 设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