首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
admin
2010-05-13
53
问题
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】。
选项
答案
增广律
解析
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZU，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。
转载请注明原文地址:https://www.kaotiyun.com/show/5bvZ777K
本试题收录于：
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
下面是关于基于ARM内核的嵌入式芯片中的DMA控制器的叙述，其中错误的是()。
关于微内核和宏内核操作系统，如下()说法是错误的。
若以S3C2410为核心的目标机上，已经移植成功Linux操作系统。若要开发该目标机的Linux应用程序，通常使用arm-linux-【79】交叉编译器来编译应用程序。若要对一个应用程序进行调试排错，则应该在编译命令中加【80】参数对它进行编译。
实时系统对外界的响应是否正确不仅取决于功能正确性，而且取决于对事件处理的__________【71】正确性。因此，评价实时系统的实时性最重要的指标是__________【72】，即系统从事件请求开始到任务完成的时间间隔。
在ARM汇编语言中，小端模式下，通过伪指DataTabDCW0x1234，0x5678，0x9ABC，0xDEF0在内存中定义了这4个16位无符号数，R1=0x00000089，则在执行伪指令LDRR0，=MyData后再执行指令STRR1，[R0
下面关于LISB的叙述中，错误的是()。
下面是关于基于ARM内核的嵌入式芯片中的中断控制器的叙述，其中错误的是()。
电动汽车充电桩（示意图3-1所示）如图以S3C2410芯片为核心，并外加其他功能电路来进行设计，其基本功能描述如下：a、充电桩支持2种充电方式，一种是固定金额方式，如：充300元的电能。那么，所充电能的金额等于300元后自动停止充电；另一种是随机充
关于ARM处理器的工作模式，以下说法正确的是()。
二叉树是结点的有限集合，这个有限集合或者为()，或者由一个根结点及两棵不相交的、分别称作为根的左子树和右子树的二叉树组成。
随机试题
在选择单元格(行、列)时，同时按住______可以选中不连续的单元格(行、列)。
心绞痛急性发作的急救药宜选用
下列哪项不是原发性肝癌的并发症()
村民李某常年在城里做生意，每年至多回家一趟，后来因为生意发了财，便在城里买了房子，此后就很少回村。关于其宅基地，下列说法错误的有：
下列属于安装工程专业措施项目的有()。
背景某单位施工承包一建设单位的二级干线硅芯管管道建设工程，开工后第5天，建设单位向省质量监督机构办理了质量监督申报手续。省质量监督机构确定了该工程的质量监督负责人，制定了质量监督工作方案。在进行工程现场质量监督检查时，负责人发现施工单
张某11周岁的儿子,为抢占座位致使同学摔伤,花去医药费2000多元。这笔医药费应该由()承担。
()应构建以资本和收息率为中心的价值传导机制。
教师采用演示法进行教学，这体现了教学的
计算二重积分其中D是由直线y=2，y=x和双曲线xy=1所围成的平面域．
最新回复
(
0
)
