下列哪一条不属于Armstrong公理系统中的基本推理规则?A．若Y∈x，则X→YB．若x→Y，则XZ→YZC．若x→Y，且z∈Y，则X→zD．若x→Y，且Y→Z，则x→z

题目

下列哪一条不属于Armstrong公理系统中的基本推理规则?

A．若Y∈x，则X→Y

B．若x→Y，则XZ→YZ

C．若x→Y，且z∈Y，则X→z

D．若x→Y，且Y→Z，则x→z

相似考题

1.（52）设 F 是属性组U 上的一组函数依赖，下列哪一条属于 Armstrong 公理系统中的基本推理规则A）若 X→Y 及 X→Z 为F 所逻辑蕴含，则 X→YZ 为F 所逻辑蕴含B）若 X→Y 及 Y→Z 为F 所逻辑蕴含，则 X→Z 为F 所逻辑蕴含C）若 X→Y 及 WY→Z 为F 所逻辑蕴含，则 XW→Z 为F 所逻辑蕴含D）若 X→Y 为F 所逻辑蕴含，且 Z Y，则 X→Z为 F 所逻辑蕴含

2.● （42） 不符合 Armstrong 推理规则。（42）A. 若X→Z, X→Y,则有X→YZB. 若X→Y, WY→Z,则有XW→ZC. 若X→Y, Z?Y,则有X→ZD. 若XZ→Y, 则有X→Z

3.不符合Armstrong 推理规则。A．若X→Z，X→Y，则有X→YZB．若X→Y，WY→Z，则有XW→ZC．若X→Y，Z→Y，则有X→ZD．若XZ→Y，则有X→Z

4.Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）

更多“下列哪一条不属于Armstrong公理系统中的基本推理规则?A.若Y∈x,则X→YB.若x→Y,则XZ→YZC.若x→Y,且z∈ ”相关问题

  • 第1题：

    下列关于函数依赖的叙述中，( )是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


    正确答案：B
    解析：Armstrong公理系统包括以下3条推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为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及ZY，有X→Z。对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。

  • 第2题：

    下列哪些条不属于Armstrong公理系统中的基本推理规则？

    I．若YX,则X→Y

    II．若X→Y，则XZ→YZ

    III. 若X→Y,且ZY,则X→Z

    IV．若X→Y,且Y→Z,则X→Z

    V．若X→Y，且X→Z,则X→YZ

    A．仅I和III

    B．仅III和V

    C．仅II和IV

    D．仅IV和V


    正确答案：B

  • 第3题：

    【单选题】设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则（）

    A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

    B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

    C．若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含

    D．若X→Y为F所逻辑蕴含，且Z[*]Y，则X→Z为F所逻辑蕴含


    √

  • 第4题：

    Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】


    正确答案：增广律
    增广律 解析：Almstrong公理系统包括3条推理规则：自反律：若Y≤X≤U，则X→Y为F所逻辑蕴含；增广律：若x→Y为F所逻辑蕴含，且z≤u，则XZ→YZ为F所逻辑蕴含；传递律：若X→Y及Y→Z为F所逻辑蕴含，则x→Z为F所逻辑蕴含。

  • 第5题：

    设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则?

    A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

    B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

    C．若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含

    D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含


    正确答案：B
    解析：本题考查Armstrong公理系统的概念。Armstrong公理系统对关系模式RU， F＞来说有以下的推理规则： 自反律(Reflexivity)：若Y≤X≤U，则X→Y为F所蕴含；增广律(Au2mentation)：若X→Y为F所蕴含，且Z≤U，则 XZ→YZ为F所蕴含；传递律(Transitivity)：若X→Y及Y→Z为F所蕴含，则X→2为F所蕴含。这里注意：由自反律所得到的函数依赖均是平凡的函数依赖；自反律的使用并不依赖于F。由此可见，选项B符合Armstrong公理系统的传递律。正确答案为选项B。

相关内容