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

admin2010-05-13  31

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

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

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