如果函数依赖集中有A→B,则可推出AC→BC,推理依据是Armstrong公理的( )。
A: 自反律
B: 增广律
C: 传递律
D: 合并规则
A: 自反律
B: 增广律
C: 传递律
D: 合并规则
举一反三
- 关系属性集为U,如果有A→B,BC→D,则可推出AC→D,推理依据是Armstrong公理推理规则中的( )。 A: 合并规则 B: 伪传递规则 C: 分解规则 D: 自反律
- Armstrong公理系统的推理规则不包括( )。 A: 自反律 B: 增广律 C: 传递律 D: 交换律
- 关系属性集为U,如果有A→B,A→C,则可推出A→BC,推理依据是Armstrong公理推理规则中的( )。 A: 合并规则 B: 伪传递规则 C: 分解规则 D: 自反律
- 如果函数依赖集中有A→B,则可推出AC→BC,推理依据是Armstrong公理的
- 下面哪项不是Armstrong公理系统的推理规则( )。 A: 自反率 B: 增广律 C: 结合律 D: 传递律