函数依赖（Functional Dependency）

定义

在关系数据库理论中，函数依赖（functional dependency）是数据库的关系的两个属性集合之间的一种约束。给定关系_R_，R_上的属性集_X_是函数确定（functionally determine）R_上的另一个属性集_Y，(记作 X → Y)，当且仅当_R_上的每一个_X_值精确地关联_R_上的一个_Y_值；因而_R_被说成_满足_函数依赖_X → Y。等价的说，投影 ΠX,YR是一个函数，即_Y_是_X_的函数。简单说，如果属性集_X_的值是已知的（记作_x_），那么属性集_Y_的对应于_x_的值可以查表（_R_中任何包含_x_的元组）确定。一个函数依赖FD: X → _Y_是平凡的，如果_Y_是_X_的子集。

资源链接

部分函数依赖，传递函数依赖，完全函数依赖 和三种范式的区别