下列关于函数依赖和多值依赖的叙述中,不正确的是()。Ⅰ、若X→Y,则X→→YⅡ、若X→→Y,则X→YⅢ、若YX,则X→YⅣ、

Question

下列关于函数依赖和多值依赖的叙述中，不正确的是( )。

Ⅰ、若X→Y， 则X→→Y

Ⅱ、若X→→Y， 则X→Y

Ⅲ、若YX，则X→Y

Ⅳ、若YX，则X→→Y

Ⅴ、若X→Y，Y*Y， 则X→Y*

Ⅵ、若X→→Y，Y*Y， 则X→→Y*

A．仅Ⅱ和Ⅳ

B．仅Ⅰ、 Ⅱ和Ⅳ

C．仅Ⅱ和Ⅵ

D．仅Ⅳ、Ⅴ和Ⅵ

Answer 1

正确答案：B
解析：Armstrong公理系统包括以下3条推理规则。设F是属性组U上的一组函数依赖，于是有以下推理规则：①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。②增广律．若X→Y为P所逻辑蕴含，且Z∈U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。若X→→Y，而Z=Φ，则称X→→Y为平凡的多值依赖。若X→→Y在R(U)上成立，用Y'∈Y，我们不可以断言X→→y'成立。设R是属性集U上的一个关系模式，X、Y是U的子集，Z=U-X-Y，多值依赖的性质如下：①若X→→Y，则X→→Z，其中Z=U-X-Y，即多值依赖具有对称性。②若X→Y，则X→→Y，即函数依赖可以看作多值依赖的特殊情况。③设属性集之间的关系是XY∈W∈U，那么当X→→Y在R(U)上成立的时候，X→→Y在R(W)上也成立；反过来当X→→Y在R(W)上成立时，X→→Y在R(U)上不一定成立。④若X→→Y，且Y'∈Y，但不能断言X→→Y'也成立。因为多值依赖的定义中涉及了U中除X、Y之外的其余属性Z，考虑X→→Y'是否成立时涉及的其余的属性Z'=U-X-Y'比确定X→→Y成立时的其余属性Z=U-X-Y包含的属性列多，因此X→→Y'不一定成立。