若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

admin2013-05-30 29

问题若A→B为F所逻辑蕴涵，且C(图片)U，则AC→BC为F所逻辑蕴涵，这是函数依赖的 ( )推理规则。

选项 A、分配律
B、自反律
C、传递律
D、增广律

答案8

解析 Armstrong公理系统包括以下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/WKqZ777K

本试题收录于：三级数据库技术题库NCRE全国计算机三级分类