在关系模式r(u)中，如果x→y和x→z成立，那么x→yz也成立。这条推理规则称为()A.自反律B.合并律C.增广律D.分解律
在关系模式r(u)中，如果x→y和x→z成立，那么x→yz也成立。这条推理规则称为()
A.自反律
B.合并律
C.增广律
D.分解律
相关考题：
给定关系模式 R;其中 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 所蕴涵
试证明Armstrong推理规则的增广律: 若X→Y为F所蕴含，且Z Í U，则XZ→YZ 为F 所蕴含。