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

题目

设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公理系统中的基本推理规则如下:
更多“ 设F是属性组U上的一组函数依赖,下列( )属于Armstrong公理系统中的基本推理规则。A)若X→Y及X→Z为F所逻辑蕴含,则X→YZ为F所逻辑蕴含B)若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含C)”相关问题
  • 第1题:

    Armstrong公理系统包括6个推理规则,下面哪一条是对伪传递规则的描述? ( )

    A.若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含

    B.由X→Y及ZY,有X→Z

    C.由X→Y,WY→Z,有XW→Z

    D.由X→Y,X→Z,有X→YZ


    正确答案:C

  • 第2题:

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


    正确答案:D
    解析:自反律:若,则X→Y为F所逻辑蕴含;增广律:若X→Y为F所逻辑蕴含,且,则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。

  • 第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所逻辑蕴含。