在一个关系中,若存在X→Y和WY→Z,则也存在WX→Z。
出自:国家开放大学数据库基础与应用