给定关系模式R＜U,F>;其中U为属性集，F是U上的一组函数依赖，那么Armstroog公理系统的增广律是指()。

给定关系模式R＜U,F>;其中U为属性集，F是U上的一组函数依赖，那么Armstroog公理系统的增广律是指()。

A.若 X→Y，X→Z，则 X→YZ 为 F 所蕴涵

B.若 X→Y，WY→Z，则 XW→Z 为 F 所蕴涵

C.若 X→Y，Y→Z 为 F 所蕴涵，则 X→Z 为 F 所蕴涵

D.若 X→Y，为 F 所蕴涵，且 Z?U,则入 XZ→YZ 为 F 所蕴涵

正确答案是D