（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。

题目

（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。

相似考题

1.（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 【 17 】 。

2.Armstrong公理系统的3条推理规则是自反律、增广律和______。

3.Annstrong 公理系统的三条推理规则是【 】、增广律和传递律。

4.Armstrong公理系统的三条推理规则是自反律、传递律和__________ 。

更多“(17)Annstrong公理系统的3条推理规则是___________、增广律和传递律。 ”相关问题

  • 第1题：

    若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

    A．分配律

    B．自反律

    C．传递律

    D．增广律


    正确答案：D
    解析：Armstrong公理系统包括以下3条基本的推理规则。①自反律。若Y(图片)X(图片)U，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且Z(图片)U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。由以上的说明可以看出，题干所给的推理规则符合增广律的格式。

  • 第2题：

    若A→B为F所逻辑蕴涵，且CU，则AC→BC为F所逻辑蕴涵，这是函数依赖的( )推理规则。

    A．分配律

    B．自反律

    C．传递律

    D．增广律


    正确答案：D
    解析：Armstrong公理系统包括3条基本的推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。由以上的说明可以看出，题干所给的推理规则符合增广律的格式。

  • 第3题：

    3. 以下不属于Armstrong公理的是________。 A. 自反律 B.传递律 C. 增广律 D. 合并律

    A．D

    B．A

    C．B

    D．C


    D

  • 第4题：

    下列关于Armstrong公理系统的叙述中，错误的是______。

    A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中

    B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来

    C．通常把自反律、传递律和增广律统称为Armstrong公理系统

    D．Armstrong公理系统中的传递律就是传递函数依赖


    正确答案：D
    解析：根据传递律和传递函数依赖的定义可知，这两者不是同一个概念，尽管它们形式类似。

  • 第5题：

    Armstrong公理系统的3条推理规则是 ______、增广律和传递律。


    正确答案：自反律
    自反律 解析：Armstrong公理系统包括3条推理规则。设F是属性组U上的一组函数依赖，于是有以下推理规则：①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。②增反律。若X→Y为F所逻辑蕴含，且Z∈U，则XZ→YZ为 F所逻辑蕴含。③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。

相关内容