函数依赖理论

数据依赖

• 一个关系内部属性和属性之间的约束关系

• 现实世界属性间相互联系的抽象

• 数据内在的性质

• 语义的体现

数据依赖的类型

• 函数依赖（Functional Dependency，简记为FD）

• 多值依赖（Multivalued Dependency，简记为MVD）

函数依赖

平凡函数依赖

非平凡函数依赖

完全函数依赖和部分函数依赖

传递函数依赖

闭包

定义：由一个属性直接或间接推导出的所有属性的集合

例子：