函数依赖（Functional Dependency）是数据库理论中的一个概念，用于描述关系数据库中的属性之间的关系。在关系数据库中，数据以表格的形式组织，表格中的每一列称为属性，而表格中的每一行称为元组。函数依赖描述了一个属性的值如何决定另一个属性的值。
具体来说，如果在关系表中，对于属性集合X的每一个可能的取值，都能唯一地确定属性集合Y的取值，就说Y对于X具有函数依赖。这通常表示为X → Y，读作"X 函数决定 Y"。
例如，考虑一个关系表格R，包含属性集合{A, B, C}。如果对于属性集合A的每个取值，都能唯一确定属性集合B的取值，那么就可以表示为A → B。
函数依赖的定义可以分为以下几种类型：
完全函数依赖（Full Functional Dependency）： 如果X的任何真子集都不能确定Y，那么就说Y对于X具有完全函数依赖。
部分函数依赖（Partial Functional Dependency）： 如果X的某个真子集可以确定Y，但X的任何真子集都不能确定Y，则说Y对于X有部分函数依赖。
传递函数依赖（Transitive Functional Dependency）： 如果X → Y，Y → Z，那么可以推导出 X → Z，这种情况称为传递函数依赖。
函数依赖在数据库设计中非常重要，它有助于规范化数据库表，减少数据冗余，提高数据存储的效率。在关系数据库设计中，我们通常希望表中的数据能够遵循某种规范形式，以确保数据的一致性和准确性。函数依赖的理论提供了数据库设计师用于优化数据库结构的工具。
函数依赖 （ Functional Dependency，FD）
函数依赖简单点说就是：某个属性集决定另一个属性集时，称另一属性集依赖于该属性集。
函数依赖是由数学派生的术语，它表征一个属性或属性集合的值对另一个属性或属性集合的值的依赖性。需要强调的是，函数依赖是关系所表述信息本身具有的语义特性，而不能由属性构成关系的方式来决定，也不能由关系的当前内容所决定。
扩展资料：
函数依赖的特点：
1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。
2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。
例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立。
3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现，函数依赖“姓名→年龄”成立。所插入的元组必须满足规定的函数依赖，若发现有同名人存在， 则拒绝装入该元组。