首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
admin
2006-10-18
70
问题
Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且
,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
选项
答案
增广律
解析
Almstrong公理系统包括3条推理规则:自反律:若Y≤X≤U,则X→Y为F所逻辑蕴含;增广律:若x→Y为F所逻辑蕴含,且z≤u,则XZ→YZ为F所逻辑蕴含;传递律:若X→Y及Y→Z为F所逻辑蕴含,则x→Z为F所逻辑蕴含。
转载请注明原文地址:https://kaotiyun.com/show/IK0Z777K
本试题收录于:
三级数据库技术题库NCRE全国计算机三级分类
0
三级数据库技术
NCRE全国计算机三级
相关试题推荐
用户使用扫描仪输入图片时,可以通过扫描软件设置相应的参数。下面是扫描图片时可设置的一些参数: Ⅰ.分辨率 Ⅱ.颜色数 Ⅲ.扫描区域 Ⅳ.文件类型 上述参数中,( )与生成的图像文件的大小有关。
在IBM-PC/XT微机系统主板上的8237A控制器,可以提供给用户使用的DMA通道是 ( )。
所谓多任务系统是从【 】上来考虑的。
Windows98安装后会在硬盘上生成一个复杂的目录(文件夹)结构,用户如果能对它有所了解,则有助于对系统进行管理和维护。在下列文件夹中,( )文件夹的内容与任务栏中的“快速启动”工具栏所包含的内容相对应。
Windows98提供了多种系统工具便于用户管理和维护计算机系统,提高计算机的运行效率。其中,可用于查看各种系统资源利用状态和目前已加载的各类驱动程序(如IRQ资源的使用情况、已加载的MS-DOS驱动程序等)的系统工具是【 】。
通用异步收发器8250内部的发送器由发送保持寄存器、并/串发送移位寄存器和发送同步控制三部分组成。当要发送数据时,按照发送的要求将发送的并行数据变成串行数据,并对每一个数据添加起始位、校验位和【 】位,经8250的SOUT引脚发送出去。
在TCP/IP参考模型中,传输层的主要作用是在互联网络的源主机与目的主机对等实体之间建立用于会话的
DMAC与其他部件的关系如下图所示。其中,DMAC的4条信号线(按①、②、③、④顺序)的名称分别是
Pentium微处理器采用了超标量体系结构。Pentium4微处理器的指令流水线有( )条。
超文本采用网状结构组织信息,各结点间通过【 】链接。
随机试题
完全竞争厂商对要素的需求曲线可以用()表示。
期望理论认为员工在工作中的积极性和努力程度,激发力量是期望值与____________的乘积。
病人外阴痒1周,查阴道黏膜覆以膜状物,擦除后露出红肿黏膜面。正确的处理应是
质量鉴定的原则包括()。
推车式水基型灭火器首次维修以后每满(),须建筑使用管理单位分批次向灭火器维修企业送修。
甲企业向乙企业发出电子邮件订货,该电子邮件列明了货物的种类、数量、质量、供货时问、交货方式等,并要求乙在l0日内报价。乙接受甲发出电子邮件列明的条件并按期报价,亦要求甲在l0日内回复;甲按期复电同意其价格,并要求签订书面合同。乙在未签订书面合同的情况下按甲
如何理解“债权人留置的动产,应当与债权属于同一法律关系,但企业之间留置的除外”?
关于选题申报,说法正确的有()。
【2014.河北沧州】学习迁移
Youmighthavetogobacktotheinitialepochprintingpresstofindapublishingtechnologyasdisruptive.Theinternetcanre
最新回复
(
0
)