下面哪一条是对伪传递规则的描述?( )

admin2010-05-13 67

问题下面哪一条是对伪传递规则的描述?( )

选项 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

答案4

解析 Armstrong公理系统包括6个推理规(则，自反律：若YXU，则称X→Y为F所逻辑蕴含。增广律：若X→Y为F所逻辑蕴含，且，则XZ→YZ为F所逻辑蕴含。传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。合并律：由X→Y，X→Z，有X→YZ。伪传递律：由X→Y，WY→Z，有XW→Z。分解律：由X→Y及ZY，有X→Z。

转载请注明原文地址:https://kaotiyun.com/show/2DSZ777K

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