下列关于函数依赖的叙述中,()是Armstrong公理系统中的推理规则。A.若Y→X, 则X→YB.若X→Y,WY→Z, 则X

Question

下列关于函数依赖的叙述中，( )是Armstrong公理系统中的推理规则。

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

Answer 1

正确答案：B
解析：Armstrong公理系统包括以下3条推理规则：①自反律。若YXU，则X→Y为F所逻辑蕴含。②增广律。若X→Y为F所逻辑蕴含，且ZU，则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及ZY，有X→Z。对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。