Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【】

admin2006-10-18 48

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

三级数据库技术

相关试题推荐

随机试题

最新回复(0)