下列关于函数依赖的规则中,正确的是()。A.若X→Y,WY→Z,则XY→ZB.若X∩Y=,则X→YC.若XY→Z 则X→Z,Y→ZD.

Question

下列关于函数依赖的规则中，正确的是( )。

A．若X→Y，WY→Z，则XY→Z

B．若X∩Y=，则X→Y

C．若XY→Z 则X→Z，Y→Z

D．若YZ， 则Y→Z

Answer 1

正确答案：A
解析：根据函数依赖的几个概念和Armstrong公理系统的推理规则来逐个判断。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。根据伪传递规则，选项A)是正确的。选项C)是错误的，因为在函数依赖关系中，决定因素的某个真子集不一定能确定一个函数依赖关系。选项B)和D)更是错误。