给定关系模式 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 所蕴涵

时间:2023-12-24 13:58:54

相似题目