问题
单项选择题
下列关于函数依赖的规则中,正确的是( )。
A.若X→Y,WY→Z,则XY→Z
B.若X∩Y=
,则X→Y
C.若XY→Z 则X→Z,Y→Z
D.若Y
Z, 则Y→Z
答案
参考答案:A
解析: 根据函数依赖的几个概念和Armstrong公理系统的推理规则来逐个判断。
Armstrong公理系统包括3条推理规则:
①自反律。若Y[*]X[*]U,则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含,且Z[*]U,则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及Z[*]Y,有X→Z。
根据伪传递规则,选项A)是正确的。选项C)是错误的,因为在函数依赖关系中,决定因素的某个真子集不一定能确定一个函数依赖关系。选项B)和D)更是错误。