首页 > 数据库技术 > 详细

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

时间:2020-04-24 21:38:37      阅读:77      评论:0      收藏:0      [点我收藏+]

数据依赖的公理系统


技术分享图片

一、Armstrong公理系统


1.推理规则

技术分享图片
技术分享图片

2.性质

技术分享图片

二、函数依赖闭包


1.函数依赖集F的闭包

技术分享图片
例:
技术分享图片

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

技术分享图片

技术分享图片
技术分享图片
技术分享图片

3.闭包的引理

技术分享图片

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

技术分享图片
技术分享图片

5.最小依赖集

技术分享图片
技术分享图片
例1
技术分享图片
例2
技术分享图片
技术分享图片
技术分享图片
技术分享图片
例2
技术分享图片

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

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

原文:https://www.cnblogs.com/fangzhiyou/p/12769879.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!