数据库系统之（函数依赖，码，范式，规范化）

函数依赖

1.函数依赖（functional dependencies）

定义：
设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。 X称为这个函数依赖的决定属性组，也称为决定因素(Determinant)。

2.平凡函数依赖与非平凡函数依赖（trivial and non-trivial）

• X→Y，Y⊈X，则称X→Y是非平凡的函数依赖。

• X→Y，但Y⊆X ，则称X→Y是平凡的函数依赖。

   例：	在关系SC(Sno, Cno, Grade)中，
   	    非平凡函数依赖： (Sno, Cno) → Grade
   		平凡函数依赖： (Sno, Cno) → Sno
   		(Sno, Cno) → Cno
  

3.完全函数依赖与部分函数依赖

• 在关系模式R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有X’↛ Y, 则称Y完全函数依赖于X，记作X