问题 单项选择题

下面关于函数依赖的叙述中,( )是Armp公理系统中的推理规则。

A.若Y→X,则X→Y

B.若X→Y,WY→Z,则XW→Z

C.若XY→Z,则X→Z,Y→Z

D.若X→YZ,则X→Y,X→Z

答案

参考答案:B

解析: Armstrong公理系统包括三条推理规则: ①自反律若

,则X→Y为F所逻辑蕴含。 ②增广律若X→Y为F所逻辑蕴含,且

,则XZ→YZ为F所逻辑蕴含。 ③传递律若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。 根据以上3条推理规则可以得到以下3条有用的规则: ④合并规则由X→Y,X→Z,有X→YZ ⑤伪传递规则由X→Y,WY→Z,有XW→Z ⑥分解规则由X→Y及

有X→Z 对照以上六条来看,可以知道选项B) 说的是其中的伪传递规则。

单项选择题
单项选择题