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

admin2010-05-13 49

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

选项

答案增广律

解析 Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。

转载请注明原文地址:https://kaotiyun.com/show/5bvZ777K

本试题收录于：三级数据库技术题库NCRE全国计算机三级分类

三级数据库技术

NCRE全国计算机三级

相关试题推荐

下面关于嵌入式系统使用的存储器的叙述中，错误的是()。
在μC／OS—II系统的任务间通信机制中，通常用于解决优先级反转问题的是__________【69】，适合处理多事件同步的是__________【70】。
JTAG是指满足IEEE1149规范的边界扫描测试方法及TAP接口，是一种用于片上【77】技术的统称。JTAG接口标准中规定了TAP接口所使用的5个信号，它们分别是【78】、TMS、TDI、TDO和TRST。
电动汽车充电桩（示意图3-1所示）如图以S3C2410芯片为核心，并外加其他功能电路来进行设计，其基本功能描述如下：a、充电桩支持2种充电方式，一种是固定金额方式，如：充300元的电能。那么，所充电能的金额等于300元后自动停止充电；另一种是随机充
目前有两种主要的闪存技术，一种是__________【61】Flash，其特点是以字节为单位随机存取；另一种是__________【62】Flash，以页(行)为单位随机存取。(填写用英文大写字母表示的简称)
ARM处理器有7种异常，按向量地址从小到大排列的顺序是：【47】、未定义指令UND、软件中断SWI、指令预取中止PABT、数据访问中止DABT、【48】以及快速中断FIQ。
在实时系统中，系统运行的正确性是同其响应时限紧密相关的。根据截止时间约束的软硬属性划分，视频播放系统属于【67】实时系统，自动驾驶系统属于【68】实时系统。
GNU是一种用于开发基于Linux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中__________【79】是编译器、GDB是__________【80】工具。
如果一棵二叉树结点的前序序列是A，B，C，后序序列是C，B，A，则该二叉树结点的对称序序列
对于关键码序列18，30，35，10，46，38，5，40进行堆排序（假定堆的根结点为最小关键码），在初始建堆过程中需进行的关键码交换次数为()。

随机试题

湿热壅滞的腹痛，治疗主方为
在城乡集市贸易市场设点销售的药品超出批准经营的药品范围，可以给予该企业的处罚有
为加强规划实施考核评价，应将考核()作为干部晋升和惩处的重要依据。
下列各项经济业务中，一定会引起固定资产账面价值增减变动的有()。
殷墟被评为“中国20世纪100项考古大发现"之首。
当前实施素质教育应该以培养学生的______和社会实践能力为重点。
可以在PowerPoint内置主题中设置的内容是
Whatdoesthewomanmean?
A、Communicatewithdonors.B、Assessthebeneficiaries’needs.C、Getfoodtotherightpeople.D、Contactregionalauthorities.D
Iusedtofindnotesleftinthecollectionbasket,beautifulnotesaboutmyhomiliesandaboutthewriter’sthoughtsonthedai

最新回复(0)

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

三级数据库技术

NCRE全国计算机三级

下面关于嵌入式系统使用的存储器的叙述中，错误的是()。

在μC／OS—II系统的任务间通信机制中，通常用于解决优先级反转问题的是【69】，适合处理多事件同步的是【70】。

JTAG是指满足IEEE1149规范的边界扫描测试方法及TAP接口，是一种用于片上【77】技术的统称。JTAG接口标准中规定了TAP接口所使用的5个信号，它们分别是【78】、TMS、TDI、TDO和TRST。

目前有两种主要的闪存技术，一种是【61】Flash，其特点是以字节为单位随机存取；另一种是【62】Flash，以页(行)为单位随机存取。(填写用英文大写字母表示的简称)

ARM处理器有7种异常，按向量地址从小到大排列的顺序是：【47】、未定义指令UND、软件中断SWI、指令预取中止PABT、数据访问中止DABT、【48】以及快速中断FIQ。

在实时系统中，系统运行的正确性是同其响应时限紧密相关的。根据截止时间约束的软硬属性划分，视频播放系统属于【67】实时系统，自动驾驶系统属于【68】实时系统。

GNU是一种用于开发基于Linux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中【79】是编译器、GDB是【80】工具。

如果一棵二叉树结点的前序序列是A，B，C，后序序列是C，B，A，则该二叉树结点的对称序序列

对于关键码序列18，30，35，10，46，38，5，40进行堆排序（假定堆的根结点为最小关键码），在初始建堆过程中需进行的关键码交换次数为()。

湿热壅滞的腹痛，治疗主方为

在城乡集市贸易市场设点销售的药品超出批准经营的药品范围，可以给予该企业的处罚有

为加强规划实施考核评价，应将考核()作为干部晋升和惩处的重要依据。

下列各项经济业务中，一定会引起固定资产账面价值增减变动的有()。

殷墟被评为“中国20世纪100项考古大发现"之首。

当前实施素质教育应该以培养学生的______和社会实践能力为重点。

可以在PowerPoint内置主题中设置的内容是

Whatdoesthewomanmean?

A、Communicatewithdonors.B、Assessthebeneficiaries’needs.C、Getfoodtotherightpeople.D、Contactregionalauthorities.D

Iusedtofindnotesleftinthecollectionbasket,beautifulnotesaboutmyhomiliesandaboutthewriter’sthoughtsonthedai

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

三级数据库技术

NCRE全国计算机三级

下面关于嵌入式系统使用的存储器的叙述中，错误的是()。

在μC／OS—II系统的任务间通信机制中，通常用于解决优先级反转问题的是__________【69】，适合处理多事件同步的是__________【70】。

JTAG是指满足IEEE1149规范的边界扫描测试方法及TAP接口，是一种用于片上【77】技术的统称。JTAG接口标准中规定了TAP接口所使用的5个信号，它们分别是【78】、TMS、TDI、TDO和TRST。

目前有两种主要的闪存技术，一种是__________【61】Flash，其特点是以字节为单位随机存取；另一种是__________【62】Flash，以页(行)为单位随机存取。(填写用英文大写字母表示的简称)

ARM处理器有7种异常，按向量地址从小到大排列的顺序是：【47】、未定义指令UND、软件中断SWI、指令预取中止PABT、数据访问中止DABT、【48】以及快速中断FIQ。

在实时系统中，系统运行的正确性是同其响应时限紧密相关的。根据截止时间约束的软硬属性划分，视频播放系统属于【67】实时系统，自动驾驶系统属于【68】实时系统。

GNU是一种用于开发基于Linux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中__________【79】是编译器、GDB是__________【80】工具。

如果一棵二叉树结点的前序序列是A，B，C，后序序列是C，B，A，则该二叉树结点的对称序序列

对于关键码序列18，30，35，10，46，38，5，40进行堆排序（假定堆的根结点为最小关键码），在初始建堆过程中需进行的关键码交换次数为()。

湿热壅滞的腹痛，治疗主方为

在城乡集市贸易市场设点销售的药品超出批准经营的药品范围，可以给予该企业的处罚有

为加强规划实施考核评价，应将考核()作为干部晋升和惩处的重要依据。

下列各项经济业务中，一定会引起固定资产账面价值增减变动的有()。

殷墟被评为“中国20世纪100项考古大发现"之首。

当前实施素质教育应该以培养学生的______和社会实践能力为重点。

可以在PowerPoint内置主题中设置的内容是

Whatdoesthewomanmean?

A、Communicatewithdonors.B、Assessthebeneficiaries’needs.C、Getfoodtotherightpeople.D、Contactregionalauthorities.D

Iusedtofindnotesleftinthecollectionbasket,beautifulnotesaboutmyhomiliesandaboutthewriter’sthoughtsonthedai

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

在μC／OS—II系统的任务间通信机制中，通常用于解决优先级反转问题的是【69】，适合处理多事件同步的是【70】。

目前有两种主要的闪存技术，一种是【61】Flash，其特点是以字节为单位随机存取；另一种是【62】Flash，以页(行)为单位随机存取。(填写用英文大写字母表示的简称)

GNU是一种用于开发基于Linux操作系统的工具软件套件。它包括了编译器、连接器、调试器以及文本编辑器、语法除错等工具。其中【79】是编译器、GDB是【80】工具。