参考答案：B

解析： Armstrong公理系统包括以下3条推理规则：
①自反律。若Y[*]X[*]U，则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含，且Z[*]U，则XZ→YZ为F所逻辑蕴含。
③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
根据以上3条推理规则可以得到以下3条有用的规则：
①合并规则。由X→Y，X→Z，有X→YZ。
②伪传递规则。由X→Y，WY→Z，有XW→Z。
③分解规则。由X→Y及Z[*]Y，有X→Z。
对照以上6条来看，可以知道选项B)说的是其中的伪传递规则。