给定关系模式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成立。
包含此试题的试卷
你可能感兴趣的试题
-
- A.V(S2)和P(S4)
- B.P(S2)和V(S4)
- C.P(S2)和P(S4)
- D.V(S2)和V(S4)
- 查看答案
-
- A.V（S1）P（S2）和V（S3）
- B.P（S1）V（S2）和V（S3）
- C.V（S1）V（S2）和V（S3）
- D.P（S1）P（S2）和V（S3）
- 查看答案
-
- A.P（S4）和V（S4）V（S5）
- B.V（S5）和P（S4）P（S5）
- C.V（S3）和V（S4）V（S5）
- D.P（S3）和P（S4）V（P5）
- 查看答案
-
- A.P(S3)和V(S4)V(S5)
- B.V(S3)和P(S4)P(S5)
- C.P(S3)和P(S4)P(S5)
- D.V(S3)和V(S4)V(S5)
- 查看答案
-
- A.P（S2）和P（S4）
- B.P（S2）和V（S4）
- C.V（S2）和P（S4）
- D.V（S2）和V（S4）
- 查看答案