函数依赖是数据依赖的一种，函数依赖反映了一个关系内部属性与属性之间的约束关系。函数依赖是关系规范化的理论基础。
根据第二章的描述，关系模式的完整表示是一个五元组：
R（U，D，Dom，F）
由于D和Dom对设计关系模式的作用不大，在讨论关系规范化理论时可以把它们简化掉，从而关系模式可以用三元组来表示为：
R（U，F）
从上式可以看出，数据依赖是关系模式的重要要素。下面就讨论数据依赖中最重要的函数依赖。
