在关系数据库理论中，函数依赖（functional dependency）是数据库的关系的两个属性集合之间的一种约束。给定关系"R"，"R"上的属性集"X"是功能上确定（functionally determine）"R"上的另一个属性集"Y"，(记作 "X" → "Y")，当且仅当"R"上的每一个"X"值精确地关联"R"上的一个"Y"值；因而"R"被说成"满足"函数依赖"X" → "Y"。等价的说， formula_1是一个函数，即"Y"是"X"的函数。简单说，如果属性集"X"的值是已知的（记作"x"），