数据库-第六章 关系数据理论-6.3 数据依赖的公理系统

数据依赖的公理系统

---

一、Armstrong公理系统

---

1.推理规则

2.性质

二、函数依赖闭包

---

1.函数依赖集F的闭包

例：

2.属性集X关于函数依赖集F的闭包

例：

3.闭包的引理

4.函数依赖集等价的概念

5.最小依赖集

例1：

例2：

例3：

参考-《数据系统概论(第五版)》-人民大学-王珊