B

该题考查对FD推理规则的理解。Armstrong公理的推理规则主要有自反性、增广性、传递性。题目写出的是增广性的定义，所以B项是正确选项。自反性的定义：若Y?X?U，则X→Y在R上成立。传递性的定义：若X→Y和Y→Z在R上成立，则X→Z在R上成立。复合性的定义：若X→Y，W→Z，则XW→YZ。