码迷,mamicode.com
首页 > 数据库 > 详细

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

时间:2020-04-24 21:49:57      阅读:80      评论:0      收藏:0      [点我收藏+]

标签:strong   arm   函数   函数依赖   mic   mamicode   依赖   数据库   属性集   

数据依赖的公理系统


技术图片

一、Armstrong公理系统


1.推理规则

技术图片
技术图片

2.性质

技术图片

二、函数依赖闭包


1.函数依赖集F的闭包

技术图片
例:
技术图片

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

技术图片

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

3.闭包的引理

技术图片

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

技术图片
技术图片

5.最小依赖集

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

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

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

标签:strong   arm   函数   函数依赖   mic   mamicode   依赖   数据库   属性集   

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

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!