关系数据库 · 规范化理论

• 函数依赖：X—>Y，即X函数决定Y，或Y函数依赖于X。
  • 例：学号—>姓名　　　　　  #学号决定姓名
• 平凡函数依赖：X—>Y，但X包含Y (Y包含于X)。
  
  • 例：(学号，课号)—>课号　　#课号存在于 (学号，课号) 之中。
• 非平凡函数依赖: X—>Y，但X不包含Y。
  • 例：(学号，课号)—>成绩　　#成绩不存在于 (学号，课号) 之中。
• 完全函数依赖：X—>Y，对于X的任意一个真子集X'都有X'不能函数决定Y。
  • 例：(学号，课号)—>成绩　　#只有学号或姓名无法决定成绩，二者缺一不可。
• 部分函数依赖：X—>Y，存在X的某一个真子集X'能够函数决定Y。
  • 例：(学号，课号)—>姓名　　#只有学号就能决定姓名，课号为冗余项。
• 传递函数依赖：X—>Y，X不包含Y，Y不函数决定X，Y—>Z，即Z对X传递函数依赖。
  • 例：学号—>系号，(系号不函数决定学号) ,系号—>系主任，则系主任传递函数依赖于学号