数据依赖的公理系统

一、Armstrong公理系统

1.推理规则

2.性质

二、函数依赖闭包

1.函数依赖集F的闭包

例：

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

例：

3.闭包的引理

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

5.最小依赖集

例1：

例2：




例2：

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

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