本题考查数据库基础知识。
关系模式R <U，F >来说有以下的推理规律：
A1.自反律（Reflexivity）：若Y⊆X⊆U，则X →Y成立。
A2.增广律（Augmentation）：若Z⊆U且X→Y，则XZ→YZ成立。
A3.传递律（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。
合并规则属于推导规则，本质上不属于定理。