设关系模式R（U，F），其中U为属性集， F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（ ）为F所蕴涵。
- A.若A→B，B→C，则A→C
- B.若YXU，则X→Y。
- C.若A→B，A→C，则A→BC
- D.若A→B，CB，则A→C
正确答案及解析
正确答案
C
解析
本题考查函数依赖推理规则。
函数依赖的公理系统（即Armstrong 公理系统）为 ：设关系模式 R（U，F） ，其中U 为属性集， F 是 U 上的一组函数依赖，那么有如下推理规则：
Al 自反律： 若 YXU ，则X→Y 为 F 所蕴涵。
A2 增广律：若 X→Y 为 F 所蕴涵，且 ZU，则XZ→YZ 为 F 所蕴涵。
A3 传递律：若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵。
根据上述三条推理规则又可推出下述三条推理规则：
A4 合并规则：若 X→Y，X→Z，则X→YZ 为 F 所蕴涵。
A5 伪传递率：若 X→Y，WY→Z，则XW→Z 为 F 所蕴涵。
A6 分解规则：若 X→Y，ZY，则X→Z 为 F 所蕴涵。
选项 A 符合规则为 A3 ，即传递规则；选项B 符合规则为 Al ，即为自反规则；选项
C 符合规则为 A4 ，即为合并规则；选项D 符合规则为 A6 ，即为分解规则。
