设关系模式R(U, F),其中U为属性集,F是U上的一组函数依赖,下列叙述中正确的是()。A.若X→Y为F所逻辑

Question

设关系模式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所逻辑蕴涵

Answer 1

正确答案：A
解析：逻辑蕴含的定义是：设RU，F＞是一个关系模式，X、Y是U中的属性组，若在RU，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)看上去像是传递律的表述，不过仔细看可以发现结论反了。