软考-系统架构设计师：规范化理论-函数依赖

设R(U)是属性U上的一个关系模式，X和Y是U的子集，r为R的任一关系，如果对于r中的任意两个元组u，v，只要有u[X]=v[Y]，则称X函数决定Y，或称Y函数依赖于X，记为X->Y。

通俗地说，就像自变量x确定后，相应的函数值f(x)也就唯一确定了一样，函数依赖是衡量和调整数据规范化的最基础的理论依据。