数据依赖的公理系统

一、Armstrong公理系统

1.推理规则


2.性质

二、函数依赖闭包

1.函数依赖集F的闭包


例：

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


例：


3.闭包的引理

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

5.最小依赖集


例1：




例2：

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

版权声明：本文为fangzhiyou原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://www.cnblogs.com/fangzhiyou/p/12769879.html