下列关于函数依赖和多值依赖的叙述中,不正确的是( )。Ⅰ.若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.Ⅳ和Ⅵ

题目

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

Ⅰ.若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.Ⅳ和Ⅵ


相似考题
更多“下列关于函数依赖和多值依赖的叙述中,不正确的是()。Ⅰ.若X→Y,则X→→YⅡ.若X→Y,则X→YⅢ.若YX,则X→YⅣ、 ”相关问题
  • 第1题:

    下列关于多值依赖的叙述中,不正确的是

    A.若X→→Y,则X→→Z,其中Z=U-X-Y

    B.若X→→Y,而,则称X→→Y为平凡的多值依赖

    C.若X→Y,则X→→Y

    D.若X→→Y,则X→Y


    正确答案:D

  • 第2题:

    下列关于多值依赖的叙述中,不正确的是

    A.若X→→Y,则X→→Z,其中Z=U-X-Y

    B.若X→→Y,而Z=?,则称X→→Y为平凡的多值依赖

    C.若X→Y,则X→→Y

    D.若X→→Y,则X→Y


    正确答案:D
    解析:若X→→Y,则X→→Z,其中Z=U-X-Y,即多值依赖具有对称性;若 X→→Y,而Z=?,则称X→→Y为平凡的多值依赖;若X→Y,则X→→Y,即函数依赖可以看做多值依赖的特殊情况。注意:若X→→,Y,则X→Y和多值依赖的特殊情况正好相反。

  • 第3题:

    设U是所有属性的集合,X、Y、Z都是U的子集,且Z=U-X-Y。下面关于多值依赖的叙述中,不正确的是( )。

    A)若X→→Y,且Y'∈Y,则X→→Y'

    B)若X→Y,则X→→Y

    C)若X→→Y,则X→→Z

    D)若X→→Y且Z=φ,则X→→Y称为平凡的函数依赖


    正确答案:A

  • 第4题:

    下列关于函数依赖和多值依赖的叙述中,哪些是不正确的?

    I.若x→Y,则x→Y

    Ⅱ.若X→Y,则x→Y

    Ⅲ.若Y∈x,则x→Y

    IV.若Y∈x,则x→→Y

    V.若x→Y,Y’<Y,则x→Y’

    VI.若X→→Y,Y’cY则x→→Y’

    A.仅II、Ⅳ和V

    B.仅I、III和Ⅳ

    C.仅II和VI

    D.仅Ⅳ和VI


    正确答案:C
    解析:函数依赖是多值依赖的特殊情况,则叙述I正确,叙述Ⅱ错误。叙述Ⅲ是Armstrong系统中的自反律,正确。叙述Ⅳ可以由I和Ⅲ得到,叙述V可由Ⅳ和传递律得到。叙述Ⅵ的错误和Ⅱ的错误一样。故选C。

  • 第5题:

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

    Ⅰ、若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.仅Ⅳ、Ⅴ和Ⅵ


    正确答案: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'不一定成立。