在关系数据库理论中，函数依赖是数据库中一个关系中两组属性之间的约束。换句话说，函数依赖是两个键之间的约束。

函数依赖：设R(U)是定义在属性集U上的任一关系，X，Y为U的子集。若R的任一实例r中的任意两个元组s，t在属性X上取值相等，即s[X]=t[X]；则s，t在属性Y上取值也相等，即s[Y]=t[Y]，则称属性X函数决定属性Y，或属性Y函数依赖于X；记为X→Y。

若X⊆Y，则显然X→Y成立，称它为平凡函数依赖；若X→Y成立，且X中不存在真子集X’，使得X’→Y成立，则称X→Y为完全函数依赖，否则称为部分函数依赖。

例：关系模式R(C,S,Z)，C为城市名，S为街道名，Z为邮政编码，则函数依赖Z→C，CS→Z成立。