从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong的论文里，这些规则常被称作“Armstrong公理”。
关系模式R<U，F>来说有以下的推理规则：
自反律(Reflexivity)：若Y⊆X⊆U,则X→Y成立。
增广律(Augmentation)：若Z⊆U且X→Y,则XZ→YZ成立。
传递律（Transitivity)：若X→Y且Y→Z,则X→Z成立。
根据A1，A2，A3这三条推理规则可以得到下面三条推理规则：
合并规则：由X→Y，X→Z，有X→YZ。
伪传递规则：由X→Y，WY→Z，有XW→Z。
分解规则：由X→Y及Z⊆Y,有X→Z。
综上可以得出C选项为分解规则。所以答案选择C选项。
