设F是属性组U上的一组函数依赖，下列叙述正确的是A．若，则X→Y为F所逻辑蕴含B．若，则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含，且，则X→YZ为F所逻辑蕴含D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

题目

设F是属性组U上的一组函数依赖，下列叙述正确的是

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

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

C．若X→Y为F所逻辑蕴含，且，则X→YZ为F所逻辑蕴含

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

相似考题

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.设F是属性组U上的一组函数依赖，下列叙述正确的是A．若YX，则X→Y为F所逻辑蕴含B．若XU，则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含，且ZU，则X→YZ为F所逻辑蕴含D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

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

4.（17）Armstrong 公理系统中的增广律的含义是：设 R 是一个关系模式，X，Y 是U 中属性组，若 X→Y 为 F所逻辑蕴含，且 ZíU，则___________为 F 所逻辑蕴含。

更多“ 设F是属性组U上的一组函数依赖，下列叙述正确的是A．若，则X→Y为F所逻辑蕴含B．若，则X→Y为F所逻辑蕴含C．若X→Y为F所逻辑蕴含，且，则X→YZ为F所逻辑蕴含D．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F”相关问题

  • 第1题：

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


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

  • 第2题：

    设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所逻辑蕴含


    正确答案：B
    Armstrong公理系统中的基本推理规则如下：

  • 第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题：

    设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。

  • 第5题：

    设F是属性组U上的一组函数依赖,下列叙述正确的是

    A．若Y∈U则X→Y为F所逻辑蕴含

    B．若X∈U则X→Y为F所逻辑蕴含

    C．若X→Y为F所逻辑蕴含,且Z∈U则X→YZ为F所逻辑蕴含

    D．若X→Y及X→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含


    正确答案：D
    解析：本题主要考查了对函数依赖的几个推理规则。 自反律:若YXU则X→Y为F所逻辑蕴含;增广律:若X→Y为F所逻辑蕴含,且ZU则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。

相关内容