设关系模式R(U, F),其中U为属性集,F是U上的一组函数依赖,下列叙述中正确的是( )。

admin2009-02-19  27

问题 设关系模式R(U, F),其中U为属性集,F是U上的一组函数依赖,下列叙述中正确的是(    )。

选项 A、若X→Y为F所逻辑蕴涵,且ZU,则XZ→YZ为F所逻辑蕴涵
B、若X→Y,Y→Z为F所逻辑蕴涵,则X→Z为F所逻辑蕴涵
C、若YXU,则Y→X为F所逻辑蕴涵
D、若XYU,则X→Y为F所逻辑蕴涵

答案1

解析 逻辑蕴含的定义是:设R<U,F>是一个关系模式,X、 Y是U中的属性组,若在R<U,F>的任何一个满足F中函数依赖的关系r上,都有函数依赖X→Y成立,则称F逻辑蕴含X→Y。另外, Armstrong公理系统包括3条推理规则:①自反律。若YXU,则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含,且ZU,则XZ→YZ为F所逻辑蕴含。③传递律.着X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。根据这个定义和以上几条推理规则,可以知道选项C)和D)是错误的(两题本质上是一样的)。选项B)看上去像是传递律的表述,不过仔细看可以发现结论反了。
转载请注明原文地址:https://kaotiyun.com/show/YicZ777K
0

相关试题推荐
最新回复(0)