假设有关系r[R]，R的子集的任意两个子集X，Y。如果对关系中的任何两个元组t，u，只要t[X]=u[Y]，就有t[Y]=u[X]，记为X→Y，则称在关系r上 【18】 。

【参考答案】

X函数决定Y 或 Y函数依赖K 或 关系r[R]满足函数相关性(FD) X→Y