设关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（）为F所蕴涵。

设关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指为（）为F所蕴涵。
A.若A→B，B→C，则A→C
B.若Y?X?U，则X→Y。
C.若A→B，A→C，则A→BC
D.若A→B，C?B，则A→C
正确答案：C