什么是函数依赖？

平凡函数依赖、非平凡函数依赖、完全函数依赖、部分函数依赖、传递函数依赖、最小函数依赖它们的关系、区别是什么？详细点哈。非常感谢！

若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y

若 X → Y，但 Y 为 X 的子集, 则称 X → Y 是平凡的函数依赖

如果 X → Y，但 Y 不为 X 的子集，则称 X → Y 是非平凡的函数依赖

若 x → y 并且，对于 x 的任何一个真子集 x1，都不存在 x1 → y 则称y完全依赖于x

若 x → y 并且，存在 x 的真子集 x1，使得 x1 → y, 则 y 部分依赖于 x

若x → y并且y → z，而y －\→ x，则有x → z，称这种函数依赖为传递函数依赖