简述函数依赖的定义。

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