设关系模式R＜U，F＞，其中U为属性集，F是U上一组函数依赖，那么Armstrong公理系统伪传递律是指（ ）。
- A.若X→Y，Y→Z为F所蕴涵，则X→Z为F所蕴涵
- B.若X→Y，X→Z，则X→YZ为F所蕴涵
- C.若X→Y，WY→Z，则XW→Z为F所蕴涵
- D.若X→Y为F所蕴涵，且Z?U，则XZ→YZ为F所蕴涵
正确答案及解析
正确答案
C
解析
本题考查关系数据库基础知识。从已知一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖推理规则最早出现在1974年W.W.Armstrong论文里，这些规则常被称作“Armstrong公理”。选项A“若X→Y，Y→Z为F所蕴涵，则H为F所蕴涵”符合Armstrong公理系统传递率。选项B“若X→Y，X→Z，则X→YZ为F所蕴涵”符合Armstrong公理系统合并规则。选项C“若X→Y，WY→Z，则XW→Z为F所蕴涵”符合Armstrong公理系统伪传递率。选项D“若X→Y为F所蕴涵，且K?U，则XZ→YZ为F所蕴涵”符合Armstrong公理系统增广率。
你可能感兴趣的试题
-
- 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）
- 查看答案