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

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

admin2009-02-19  102
问题 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所逻辑蕴含。
转载请注明原文地址:https://www.kaotiyun.com/show/edcZ777K
本试题收录于： 三级数据库技术题库NCRE全国计算机三级分类
0

三级数据库技术

NCRE全国计算机三级

相关试题推荐
随机试题
最新回复(0)