本题考察的是Armstrong 公理系统中的函数依赖推理规则。
A选项若 A→B，B→C，则 A→C：这是传递律，是 Armstrong 公理系统的基本推理规则之一，但不是合并规则。
B选项若 Y⊆X⊆U，则 X→Y：这是自反律，表示一个属性集对其自身的子集有函数依赖。
C选项 A→B，A→C，则 A→BC：正确，这是合并规则，表示如果 A 能确定 B，且 A 能确定 C，那么 A 就能确定 BC。该规则可由自反律、增广律和传递律组合推出。
D选项若 A→B，C⊆B，则 A→C：这是分解规则的逆形式（通常我们说 X→YZ 推出 X→Y 和 X→Z），但这种“反向包含式”的表述不严谨，且不是合并规则。
因此，选项 C 正确。