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

Posted fangzhiyou

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了数据库-第六章 关系数据理论-6.3 数据依赖的公理系统相关的知识,希望对你有一定的参考价值。

数据依赖的公理系统


技术图片

一、Armstrong公理系统


1.推理规则

技术图片
技术图片

2.性质

技术图片

二、函数依赖闭包


1.函数依赖集F的闭包

技术图片
例:
技术图片

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

技术图片

技术图片
技术图片
技术图片

3.闭包的引理

技术图片

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

技术图片
技术图片

5.最小依赖集

技术图片
技术图片
例1
技术图片
例2
技术图片
技术图片
技术图片
技术图片
例2
技术图片

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

以上是关于数据库-第六章 关系数据理论-6.3 数据依赖的公理系统的主要内容,如果未能解决你的问题,请参考以下文章

数据库-第六章 关系数据理论-6.5 小结

数据库-第六章 关系数据理论-6.1 问题的提出

数据库-第六章 关系数据理论-6.2.3 范式

第六章 大数据,6.3 突破传统,4k大屏的沉浸式体验(作者: 彦川小丛)

数据结构与算法(周鹏-未出版)-第六章 树-6.3 二叉树基本操作的实现

数据结构与算法(周鹏-未出版)-第六章 树-6.1 树的定义及基本术语