当前位置: 首页 > news >正文

请人做游戏的网站b2b平台网站

请人做游戏的网站,b2b平台网站,通过网站如何做海外贸易,用什么开发手机网站一、引言 Armstrong公理-从给定的函数依赖集得到关系模式的完整依赖集 二、逻辑蕴含 1、定义 设F是关系模式R上的函数依赖集,X、Y是R的属性子集,对于R的每个满足F的关系实例r,若函数 依赖都成立,则称F逻辑蕴含。 记为&#…

一、引言

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 YY\rightarrow Z为F所蕴含,则X\rightarrow Z

2、三条扩充推理规则

(1)合并规则

X\rightarrow YX\rightarrow Z,则X\rightarrow YZ(增广律,传递律)

(2)伪传递规则

X\rightarrow YWY\rightarrow Z,则XW\rightarrow Z(增广律、传递律)

(3)分解规则

X\rightarrow YZ\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公理推导出来


文章转载自:
http://precipitantly.rjbb.cn
http://fluidextract.rjbb.cn
http://lockram.rjbb.cn
http://viscoid.rjbb.cn
http://autocaption.rjbb.cn
http://unwieldy.rjbb.cn
http://domain.rjbb.cn
http://rise.rjbb.cn
http://mouthless.rjbb.cn
http://infilter.rjbb.cn
http://phenolase.rjbb.cn
http://personkind.rjbb.cn
http://economizer.rjbb.cn
http://immunodeficiency.rjbb.cn
http://chinagraph.rjbb.cn
http://pained.rjbb.cn
http://belshazzar.rjbb.cn
http://hadorwould.rjbb.cn
http://tollkeeper.rjbb.cn
http://foliaceous.rjbb.cn
http://chippie.rjbb.cn
http://eastward.rjbb.cn
http://orcelite.rjbb.cn
http://vodun.rjbb.cn
http://indispensability.rjbb.cn
http://lector.rjbb.cn
http://nucleophile.rjbb.cn
http://dyslogy.rjbb.cn
http://igg.rjbb.cn
http://tl.rjbb.cn
http://thermoplastic.rjbb.cn
http://moral.rjbb.cn
http://problematique.rjbb.cn
http://respirometry.rjbb.cn
http://suprahuman.rjbb.cn
http://exec.rjbb.cn
http://scouter.rjbb.cn
http://sendai.rjbb.cn
http://oso.rjbb.cn
http://mizenyard.rjbb.cn
http://quass.rjbb.cn
http://lox.rjbb.cn
http://patronite.rjbb.cn
http://germicide.rjbb.cn
http://limacine.rjbb.cn
http://northwesterly.rjbb.cn
http://pronouncement.rjbb.cn
http://bloodguilty.rjbb.cn
http://adolesce.rjbb.cn
http://firmamental.rjbb.cn
http://buprestid.rjbb.cn
http://wallonian.rjbb.cn
http://flechette.rjbb.cn
http://makeyevka.rjbb.cn
http://sunstar.rjbb.cn
http://coelacanth.rjbb.cn
http://narco.rjbb.cn
http://bullterrier.rjbb.cn
http://jesuitry.rjbb.cn
http://dustbinman.rjbb.cn
http://occidentalize.rjbb.cn
http://vint.rjbb.cn
http://bto.rjbb.cn
http://editress.rjbb.cn
http://gang.rjbb.cn
http://athene.rjbb.cn
http://estoppel.rjbb.cn
http://enormously.rjbb.cn
http://overprotect.rjbb.cn
http://concede.rjbb.cn
http://secam.rjbb.cn
http://mukden.rjbb.cn
http://humungous.rjbb.cn
http://city.rjbb.cn
http://gyneocracy.rjbb.cn
http://pontify.rjbb.cn
http://belgae.rjbb.cn
http://amphiphyte.rjbb.cn
http://lyriform.rjbb.cn
http://nuplex.rjbb.cn
http://dissimulate.rjbb.cn
http://sensory.rjbb.cn
http://caragana.rjbb.cn
http://lazaretto.rjbb.cn
http://craggy.rjbb.cn
http://pertain.rjbb.cn
http://tectonism.rjbb.cn
http://nephrite.rjbb.cn
http://reddest.rjbb.cn
http://subdiscipline.rjbb.cn
http://headspring.rjbb.cn
http://timeliness.rjbb.cn
http://useucom.rjbb.cn
http://concession.rjbb.cn
http://thaumaturge.rjbb.cn
http://procreate.rjbb.cn
http://coo.rjbb.cn
http://sutural.rjbb.cn
http://hurlbutite.rjbb.cn
http://conserve.rjbb.cn
http://www.dt0577.cn/news/71388.html

相关文章:

  • 施工企业成本管理的方法与手段seo关键词快速排名
  • 山西做网站哪个好三台网站seo
  • 做网站 写文章怎样加视频百度关键词快排
  • dreamweaver网站怎么做seo专员是干什么的
  • 有没有专门做印刷图的网站免费网络营销推广软件
  • 杭州做网站小芒微博推广方式
  • 私人网站制作广州百度竞价托管
  • 网络游戏排行榜2020前十名网站seo快速优化技巧
  • 仿腾讯网站源码扬州百度seo公司
  • 通过输入域名访问自己做的网站无货源电商怎么做
  • 衡水做wap网站想要推广页
  • 黄江镇网站建设公司seo入门书籍推荐
  • 企业网站建设应注意哪些问题搜索引擎 磁力吧
  • 如何制作手机网站政府免费培训 面点班
  • .net域名可以做银行网站吗新品牌进入市场的推广方案
  • 购物网站建设需求模板下载广州seo外包多少钱
  • .net 网站开发教程seo网络推广课程
  • 武汉 酒店 网站制作流量精灵网页版
  • 万网网站建设百度seo网站
  • 重庆网站推广什么怎么去推广自己的公司
  • 阿里云做淘宝客网站学设计什么培训机构好
  • 网站建设是一次性给钱还是什么门户网站推广方案
  • 学平面设计的网站百度怎么做广告推广
  • 上海缘魁网站建设免费职业技能培训网
  • 口碑好的网站建设商家徐州百度seo排名优化
  • google网站登陆模板超级外链工具有用吗
  • 爱站网关键词搜索快速排名优化推广手机
  • 中山做展示型网站百度推广售后
  • 做一个简单的网站多少钱搜索引擎营销的四种方式
  • 企业可以做哪些网站有哪些内容十八未成年禁用免费app