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

admin2013-05-30 50

问题 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/tiqZ777K

三级数据库技术

相关试题推荐

随机试题

最新回复(0)