国开《数据库基础与应用》第三章 3-1-2：函数依赖的定义

3-1-2：函数依赖的定义

定义：设一个关系为R(U)，X和Y为属性集U上的子集，若对于X上的每个值都有Y上的一个唯一值与之对应，则称X和Y之间存在函数依赖，并称X函数决定Y，或称Y函数依赖于X，记作X→Y，称X为此函数依赖的决定因素。

例如：设一个职工关系为（职工号，姓名，性别，年龄，职务），职工号函数决定姓名，记作“职工号→姓名”，职工号为决定因素。职工号函数决定性别、年龄、职务，“职工号→性别”、“职工号→年龄”、“职工号→职务”。

相互函数依赖：若职工号和姓名在取值上一一对应，相互成为决定因素，即构成相互函数依赖，记作为“职工号←→姓名”。

若一个关系中的属性子集X不能函数决定另一个属性子集Y，则记作XY，读作X不能函数决定Y，或Y不能函数依赖于X。