[单选题]

下列哪些条不属于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

参考答案与解析:

相关试题

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

[单选题]下列哪一条不属于Armstrong公理系统中的基本推理规则?A.若Y∈x,则X→YB.若x→Y,则XZ→YZC.若x→Y,且z∈Y,则X→zD.若x→Y,且Y→Z,则x→z

  • 查看答案
  • Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且,则XZ

    [试题]A.rmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴含,且 ,则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。

  • 查看答案
  • Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZíU,

    [试题]A.rmstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且ZíU,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作( )

  • 查看答案
  • Armstrong公理系统的三条推理规则是自反律、__________、增广律。

    [试题]A.rmstrong公理系统的三条推理规则是自反律、__________、增广律。

  • 查看答案
  • Armstrong公理系统的三条推理规则是自反律、传递律和__________

    [试题]A.rmstrong公理系统的三条推理规则是自反律、传递律和__________ 。

  • 查看答案
  • ( 17 ) Armstrong 公理系统的三条推理规则是自反律、增广律和 (

    [试题]( 17 ) Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。

  • 查看答案
  • 下面关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。 -

    [单选题]下面关于函数依赖的叙述中,( )是Armstrong公理系统中的推理规则。

  • 查看答案
  • (17)Annstrong公理系统的3条推理规则是___________、增广律

    [试题](17)Annstrong公理系统的3条推理规则是___________、增广律和传递律。

  • 查看答案
  • 下列关于Armstrong公理系统的叙述中,错误的是______。

    [单选题]下列关于Armstrong公理系统的叙述中,错误的是______。A.Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B.Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来C.通常把自反律、传递律和增广律统称为Armstrong公理系统D.Armstrong公理系统中的传递律就是传递函数依赖

  • 查看答案
  • 设F是属性组U上的一组函数依赖,下列哪一条属于Armstrong公理系统中的基本

    [单选题]设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所逻辑蕴含

  • 查看答案
  • 下列哪些条不属于Armstrong公理系统中的基本推理规则? I.若YX,则X→