做网站到八方资源网怎么样,仿淘宝php c2c电子商务网站模板,南昌网站建设公司服务器,做汉字词卡的网站一、引言
Armstrong公理-从给定的函数依赖集得到关系模式的完整依赖集
二、逻辑蕴含
1、定义
设F是关系模式R上的函数依赖集#xff0c;X、Y是R的属性子集#xff0c;对于R的每个满足F的关系实例r#xff0c;若函数
依赖都成立#xff0c;则称F逻辑蕴含。
记为#…一、引言
Armstrong公理-从给定的函数依赖集得到关系模式的完整依赖集
二、逻辑蕴含
1、定义
设F是关系模式R上的函数依赖集X、Y是R的属性子集对于R的每个满足F的关系实例r若函数
依赖都成立则称F逻辑蕴含。
记为
F逻辑蕴含的所有函数依赖的集合称为函数依赖集F的闭包并记为。
记为{}
三、Armstrong公理
1、定义
1974年Armstrong提出一套推理规则被称为Armstrong公理
2、作用
利用推理规则从给定的函数依赖中推导出其蕴含的函数依赖
3、内容
包含三条基本规则和三条扩充规则
4、实例
关系模式RUF:
1U为R的属性集
2F是U上的函数依赖集
3X、Y、Z、W是U的子集
4子集X、Y的并集记为XY
四、Armstrong公理的内容
1、三条基本推理规则
1自反律
若则
2增广律
若为F所蕴含则
3传递律
若、为F所蕴含则
2、三条扩充推理规则
1合并规则
若、则增广律传递律
2伪传递规则
若、则增广律、传递律
3分解规则
若、则自反律、传递律
3、合并规则和分解规则可得一个重要的事实
引理1
成立的充分必要条件是成立i1,2...k
五、属性集闭包
1、引言
对于一个函数依赖集其闭包中所包含的函数依赖有很多从函数依赖集F求其闭包是很困难的
对于任意的函数依赖通过判断是否在闭包中来判断该函数依赖是否为函数依赖集F所逻辑蕴含是
很困难的于是引入了属性集闭包的概念
2、属性集闭包的定义
在R(U,F)中F是属性集U上的一组函数依赖则属性集X关于函数依赖集F的闭包
定义为 是中所有函数依赖于属性集X的所有属性的集合
3、引理2 由引理2就可以将是否属于F的闭包的问题转化为判断Y是否为X关于F的闭包的子集的问题而X关于F的闭包可由算法帮助实现
六、使用算法求解属性集闭包
1、明确概念
1函数依赖集F的闭包是F所蕴含的函数依赖的集合
2属性集X关于函数依赖集F的闭包是F的闭包中的函数依赖的决定因素是属性集X的属性的集合以下简称为属性集闭包
2、求X的属性集闭包的一个算法
输入属性集X和和函数依赖集F
输出属性集X关于函数依赖集F的闭包
算法实现流程
1开始
2给赋初值X
3判断的值与上一次相比是否改变如果改变执行4没改变执行5
4对F中的每一个函数依赖如果则将Z并入到中执行3
5输出结束 3、举例使用算法计算属性集X的闭包 七、举例通过属性集闭包来判断函数依赖是否在函数依赖集F的闭包中 八、小结
1、Armstrong公理的有效性
从F中已有的函数依赖利用Armstrong公理导出的每一个函数依赖
2、Armstrong公理的完备性
函数依赖集F所蕴含的函数依赖即中的每一个函数依赖都可以利用Armstrong公理推导出来
