下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。

admin2012-10-29 41

问题下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。

选项 A、若Y→X，  则X→Y
B、若X→Y，WY→Z，  则XW→Z
C、若XY→Z，  则X→Z，Y→Z
D、若X→YZ，  则X→Y，X→Z

答案2

解析 Armstrong公理系统包括以下3条推理规则：①自反律。若Y

U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→Y

Z为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下3条有用的规则：①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则。由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及Z

Y，有X→Z。对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。

转载请注明原文地址:https://www.kaotiyun.com/show/m1qZ777K

三级数据库技术

相关试题推荐

随机试题

最新回复(0)