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

数据依赖的公理系统


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

一、Armstrong公理系统


1.推理规则

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

2.性质

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

二、函数依赖闭包


1.函数依赖集F的闭包

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

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

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

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

3.闭包的引理

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

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

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

5.最小依赖集

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

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

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

上一篇:SQL Server数据库mdf文件中了勒索病毒*.mdf.KEY001 *.mdf


下一篇:SQL server 报错收集