试叙述函数依赖的定义。

试叙述函数依赖的定义。
【正确答案】：在关系模式R(U)中，X，Y是U的子集，r是R的任一具体关系，如果对r的任意两个元组t₁、t₂，都有t₁[X]=t₂[X]蕴涵t₁[Y]=t₂[Y]，那么称函数依赖X→Y在模式R上成立。