• 目的：将具有不合适性质的关系转换为更合适的形式
• 范式级别：按属性间的依赖情况来区分关系规范化的程度

• 定义5.1 函数依赖
  设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R的任何一个可能的关系r，r中不可能存在两个元组在X属性值上相等而在Y属性值上不等，则称X函数确定Y或Y函数依赖于X，记作 X→Y
  • 非平凡的函数依赖
    X→Y，且Y\ÍX
  • 平凡的函数依赖
    X→Y，且YÍX
  • 若X→Y,则X叫做决定因素(Determinant)
  • 若X→Y，Y→X，则记作X←→Y
    在这种情况下，X和Y在R(U)中地位相同
  • 若Y不函数依赖于X,则记作X＼→Y
• 定义5.2 完全函数依赖
  在R(U)中，如果X→Y，且对于X的任何一个真子集X'，都有X'＼→Y，则称Y对X完全函数依赖，记做：X F→Y
  • 部分函数依赖
    X→Y，但Y不完全函数依赖于；记做：X P→Y
• 定义5.3 传递函数依赖
  在R(U)中，如果X→Y，Y\ÍX，Y＼→X，Y→Z，则称Z对X传递函数依赖
  • 证明：
    对R(U)的任意关系r，r中的任何两元组u，v，有：
    ∵ X→Y
    ∴若 u(X)＝v(X)，必有u(Y)＝v(Y)
    又∵ Y→Z
    ∴若 u(Y)＝v(Y)，必有u(Z)＝v(Z)
    ∴若 u(X)＝v(X)，必有u(Z)＝v(Z)
    即X→Z。得证
  • 直接函数依赖

NEXT