《数据库系统（中）》学习笔记——第四讲——函数依赖及其公理与定理

1. 本讲内容概要

基本内容
1. 函数依赖
2. 完全函数依赖与传递函数依赖
3. 关于函数依赖的公理和定理
4. 函数依赖集的最小覆盖

重点与难点
1. 一组概念：函数依赖、部分函数依赖和完全函数依赖、传递函数依赖、候选键、非主属性、逻辑蕴涵、闭包、属性闭包、覆盖、最小覆盖等
2. 关于函数依赖的公理和定理，相关的证明
3. 求属性闭包的算法、求最小覆盖的算法

2. 函数依赖的定义

3. 函数依赖的特性

4. 部分函数依赖与完全函数依赖的定义

5. 传递函数依赖

6. 候选键的定义

7. 外来键的定义

8. 逻辑蕴涵的定义

9. 闭包

10. 函数依赖的Armstrong公理

11. 本讲回顾