给定关系模式 ( ) F U R ， ，其中U 为关系R属性集，F 是U 上的一组函数依赖，

若 Y X → ， （42） 是错误的，因为该函数依赖不蕴涵在F中。

（42）

A． Z Y → 成立，则 Z X →

B． Z X → 成立，则 YZ X →

C． U Z ? 成立，则 YZ X →

D． Z WY → 成立，则 Z XW →