給定關系模式R（U，F），其中U 為關系R屬性集，F 是U 上的一組函數依賴，若 X→Y，（） 是錯誤的，因為該函數依賴不蘊涵在F中。A.Y→Z成立，則X→ZB.X→Z成立，則X→YZC.ZU成立，則X→YZD.WY→Z成立，則XW→Z
U成立，則X→YZ
