计算机数据库系统原理
相似问题和答案
第1题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且ZíU，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作（ ）
第2题：
在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
第3题：
（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 【 17 】 。
第4题：
由Armstrong公理系统中3条基本的推理规则可以得到另外3条推广的、很有用的推理规则，它们是合并规则、分解规则和 ______。
伪传递规则 解析：Armstrong公理系统包括以下3条推理规则。①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。③传递律．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。根据以上3条推理规则可以得到以下以下3条有用的规则。①合并规则。由X→Y，X→Z，有X→YZ。②伪传递规则．由X→Y，WY→Z，有XW→Z。③分解规则。由X→Y及ZY，有X→Z。
第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所逻辑蕴含。
第6题：
Armstrong公理系统的三条推理规则是自反律、传递律和__________ 。
增广律
【解析】Armstrong公理系统的三条推理规则是自反律、增广律和传递律。
第7题：
Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴含，且 ，则XZ→YZ为F所逻辑蕴含。这条推理规则称作__________。
增广律
Armstrong公理系统包括3条推理规则：
第8题：
（17）Annstrong公理系统的3条推理规则是___________、增广律和传递律。
（17）【答案】自反律
【解析】Armstrong 公理系统的三条推理规则是自反律、传递律和增广律。
第9题：
A.数理系统
B.逻辑系统
C.公理系统
D.形象系统
第10题：
Armstrong公理系统包括6个推理规则，下面哪一条是对伪传递规则的描述? ( )
A．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
B．由X→Y及Z
Y，有X→Z
C．由X→Y，WY→Z，有XW→Z
D．由X→Y，X→Z，有X→YZ