给定关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中…
单选题
给定关系模式R（U，F），其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统（Armstrong公理系统）中的分解规则是指（ ）为F所蕴涵。
A. 若X→Y，Y→Z，则X→Y
B. 若Y⊆X⊆U，则X→Y
C. 若X→Y，Z⊆Y，则X→Z
D. 若X→Y，Y→Z，则X→YZ
答案：C
解析
正确答案：C
Armstrong 公理中，分解规则是指：若 X→Y，且 Z⊆Y，则 X→Z。即一个函数依赖可分解出决定因素不变、被决定属性为其子集的依赖，因此 C 正确。
- A：由 X→Y、Y→Z 只能传递推出 X→Z，不是分解规则。
- B：若 Y⊆X⊆U，则 X→Y，这是自反律。
- C：符合分解规则定义。
- D：由传递律得 X→Z，再与 X→Y 合并才得 X→YZ，属于合并规则，不是分解规则。
面试延伸：Armstrong 公理包括自反律、增广律、传递律；常用推论有合并规则、分解规则、伪传递规则。求属性闭包、最小覆盖时会频繁用到。