扫一扫二维码
进群一起备考
查看更多
当前 - 选择题 - 数据库理论中等
单选题
2023年5月第35题
收藏
分享
#数据库系统
#数据库理论
#第二版教材
#凯恩建议必须掌握
给定关系模式 R(U, F)，其中 U 为属性集, U={X, Y, Z}, F是U上的一组函数依赖。函数依赖的公理系统（Armstrong公理系统）中的 （__） 是指"若X→Y，X→Z,则X→YZ 为 F 所蕴涵"。
问题（1）
正确答案D
凯恩解析
此题考察** Armstrong 公理系统的相关概念**。
注意这里不是让你判断哪个是正确的说法，而是让你看哪个是题干的定义。
设关系模式 R<U，F>，其中 U 为属性集，F 是 U 上的一组函数依赖，则有：
① A1自反律：若 Y⊆X⊆U，则 X→Y 为 F 所蕴含；
② A2增广律：若 X→Y为 F 所蕴含，且 Z⊆U，则 XZ→YZ 为 F 所蕴含；
③ A3传递律：若 X→Y，Y→Z 为 F 所蕴含，则 X→Z 为 F 所蕴含。
根据上面三条推理规则，又可推出下面三条推理规则：
④ 合并规则：若 X→Y，X→Z，则X→YZ 为 F 所蕴含；
⑤ 伪传递规则：若 X→Y，WY→Z，则 XW→Z 为 F 所蕴含；
⑥ 分解规则：若 X→Y，Z⊆Y，则 X→Z 为 F 所蕴含。
所以选择选项 D。