给定关系模式R＜U,F>，其中U为属性集，F是U上的一组函数依赖，那么Armstrong公理系统的增广律是指（ ）。
- 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所蕴涵，且ZU，则XZ→YZ为F所蕴涵
正确答案及解析
正确答案
D
解析
关系模式R＜U，F>来说有以下的推理规则：
A1.自反律（Reflexivity）：若Y X U，则X→Y成立。
A2.增广律（Augmentation）：若Z U且X→Y，则XZ→YZ成立。
A3.传递律（Transitivity）：若X→Y且Y→Z，则X→Z成立。
