扫一扫二维码
进群一起备考
查看更多
当前 - 选择题 - 关系数据库中等
单选题
2014年11月第3题
中等
单选题
2014年11月第3题
#第二版教材
#必须掌握
设关系模式R(U,F)，其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的合并规则是指（__）为F所蕴涵。
问题（1）
浓缩知识点
Armstrong公理系统是关系模式中用于函数依赖推理的核心公理体系，包含三条基本推理规则：自反律，即若属性集Y是X的子集（Y⊆X⊆U），则X函数决定Y；增广律，若X→Y，且Z是属性全集U的任意子集，则XZ→YZ；传递律，若X→Y且Y→Z，则X→Z。基于这三条基本规则，可推导出若干常用导出规则，其中合并规则指若X→Y且X→Z，则X→YZ；此外还有分解规则（若X→YZ，则X→Y且X→Z）、伪传递规则（若X→Y且WY→Z，则WX→Z）等，这些规则共同构成了函数依赖推理的完整体系，可用于验证和推导关系模式中所有有效的函数依赖。
正确答案
C
本题考察的是Armstrong 公理系统中的函数依赖推理规则。
A选项若 A→B，B→C，则 A→C：这是传递律，是 Armstrong 公理系统的基本推理规则之一，但不是合并规则。
B选项若 Y⊆X⊆U，则 X→Y：这是自反律，表示一个属性集对其自身的子集有函数依赖。
C选项 A→B，A→C，则 A→BC：正确，这是合并规则，表示如果 A 能确定 B，且 A 能确定 C，那么 A 就能确定 BC。该规则可由自反律、增广律和传递律组合推出。
D选项若 A→B，C⊆B，则 A→C：这是分解规则的逆形式（通常我们说 X→YZ 推出 X→Y 和 X→Z），但这种“反向包含式”的表述不严谨，且不是合并规则。
因此，选项 C 正确。