逻辑蕴含、函数依赖集的闭包、Armstrong公理、属性集闭包

Watermelon_Mr

已于 2024-06-19 18:30:38 修改

阅读量472

点赞数 8

分类专栏：数据库原理与应用文章标签：数据库 sql

于 2024-06-19 18:26:59 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/Watermelon_Mr/article/details/139802554

版权

数据库原理与应用专栏收录该内容

50 篇文章 0 订阅

订阅专栏

一、引言

Armstrong公理-从给定的函数依赖集得到关系模式的完整依赖集

二、逻辑蕴含

1、定义

设F是关系模式R上的函数依赖集，X、Y是R的属性子集，对于R的每个满足F的关系实例r，若函数

依赖 $X\rightarrow Y$ 都成立，则称F逻辑蕴含 $X\rightarrow Y$ 。

记为： $F\vdash X\rightarrow Y$

F逻辑蕴含的所有函数依赖的集合，称为函数依赖集F的闭包，并记为 $F^{+}$ 。

记为： $F^{+}=$ { $X\rightarrow Y\mid F\vdash X\rightarrow Y$ }

三、Armstrong公理

1、定义

1974年Armstrong提出一套推理规则，被称为Armstrong公理

2、作用

利用推理规则从给定的函数依赖中推导出其蕴含的函数依赖

3、内容

包含三条基本规则和三条扩充规则

4、实例

关系模式R（U，F）:

（1）U为R的属性集

（2）F是U上的函数依赖集

（3）X、Y、Z、W是U的子集

（4）子集X、Y的并集记为XY

四、Armstrong公理的内容

1、三条基本推理规则

（1）自反律

若 $Y\subseteq X$ ，则 $X\rightarrow Y$

（2）增广律

若 $X\rightarrow Y$ 为F所蕴含，则 $XZ\rightarrow YZ$

（3）传递律

若 $X\rightarrow Y$ 、 $Y\rightarrow Z$ 为F所蕴含，则 $X\rightarrow Z$

2、三条扩充推理规则

（1）合并规则

若 $X\rightarrow Y$ 、 $X\rightarrow Z$ ，则 $X\rightarrow YZ$ （增广律，传递律）

（2）伪传递规则

若 $X\rightarrow Y$ 、 $WY\rightarrow Z$ ，则 $XW\rightarrow Z$ （增广律、传递律）

（3）分解规则

若 $X\rightarrow Y$ 、 $Z\subseteq Y$ ，则 $X\rightarrow Z$ （自反律、传递律）

3、合并规则和分解规则可得一个重要的事实

引理1：

$X\rightarrow A_{1}A_{2}...A_{k}$ 成立的充分必要条件是 $X\rightarrow A_{i}$ 成立（i=1,2，...，k）

五、属性集闭包

1、引言

对于一个函数依赖集，其闭包中所包含的函数依赖有很多，从函数依赖集F求其闭包是很困难的，

对于任意的函数依赖，通过判断是否在闭包中来判断该函数依赖是否为函数依赖集F所逻辑蕴含是

很困难的，于是引入了属性集闭包的概念

2、属性集闭包的定义

在R(U,F)中，F是属性集U上的一组函数依赖， $X\subseteq U$ ，则属性集X关于函数依赖集F的闭包 $X{_{F}}^{+}$

定义为：

$X{_{F}}^{+}$ 是 $F^{+}$ 中所有函数依赖于属性集X的所有属性的集合

3、引理2：

由引理2，就可以将 $X\rightarrow Y$ 是否属于F的闭包的问题转化为判断Y是否为X关于F的闭包的子集的问题，而X关于F的闭包可由算法帮助实现

六、使用算法求解属性集闭包

1、明确概念

（1）函数依赖集F的闭包是F所蕴含的函数依赖的集合

（2）属性集X关于函数依赖集F的闭包是F的闭包中的函数依赖的决定因素是属性集X的属性的集合，以下简称为属性集闭包

2、求 $X{_{F}}^{+}$ （X的属性集闭包）的一个算法

输入：属性集X和和函数依赖集F

输出：属性集X关于函数依赖集F的闭包 $X{_{F}}^{+}$

算法实现流程：

（1）开始

（2）给 $X{_{F}}^{+}$ 赋初值X

（3）判断 $X{_{F}}^{+}$ 的值与上一次相比是否改变，如果改变，执行（4），没改变，执行（5）

（4）对F中的每一个函数依赖 $Y\rightarrow Z$ ，如果 $Y\subseteq X_{F}^{+}$ ，则将Z并入到 $X{_{F}}^{+}$ 中，执行（3）

（5）输出 $X{_{F}}^{+}$ ，结束

3、举例：使用算法计算属性集X的闭包 $X{_{F}}^{+}$

七、举例：通过属性集闭包来判断函数依赖是否在函数依赖集F的闭包中

八、小结

1、Armstrong公理的有效性

从F中已有的函数依赖利用Armstrong公理导出的每一个函数依赖 $Y\rightarrow Z\in F^{+}$

2、Armstrong公理的完备性

函数依赖集F所蕴含的函数依赖，即 $F^{+}$ 中的每一个函数依赖都可以利用Armstrong公理推导出来

关注

8
点赞
踩
8

收藏

觉得还不错? 一键收藏
0
评论
逻辑蕴含、函数依赖集的闭包、Armstrong公理、属性集闭包

（2）属性集X关于函数依赖集F的闭包是F的闭包中的函数依赖的决定因素是属性集X的属性的集合，以下简称为属性集闭包。是否属于F的闭包的问题转化为判断Y是否为X关于F的闭包的子集的问题，而X关于F的闭包可由算法帮助实现。对于一个函数依赖集，其闭包中所包含的函数依赖有很多，从函数依赖集F求其闭包是很困难的，对于任意的函数依赖，通过判断是否在闭包中来判断该函数依赖是否为函数依赖集F所逻辑蕴含是。设F是关系模式R上的函数依赖集，X、Y是R的属性子集，对于R的每个。（1）函数依赖集F的闭包是F所蕴含的函数依赖的集合。
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。