关于函数依赖有如下的Armstrong推理规则：
设有关系模式R(A1，A2…，An)，U={A1，A2…，An }
规则1：自反律。如果Y X U，则X→Y在R上成立。
规则2：增广律。如果x→Y在R上成立，Z U，则XZ→Yz在R上也成立。
规则3：传递律。如果x→Y和Y→Z在R上成立．X→Z在R上也成立。
若X→Y，WY→Z，则根据增广律，XW→YW成立，再根据传递律可知XW→Z成立，所以选项A是正确的。
若X→Y，Y→Z，则根据传递律有X→Z，因此XY→Z成立，所以选项B是正确的。
若X→Y，则Y→Z，则根据传递律可知，X→Z成立，所以选项D也是正确的。