Armstrong公理系统中的三个定律是自反律、 、传递律
举一反三
- Armstrong公理系统的三条推理规则是自反律、传递律和______。
- Armstrong公理系统的推理规则不包括( )。 A: 自反律 B: 增广律 C: 传递律 D: 交换律
- 下面哪项不是Armstrong公理系统的推理规则( )。 A: 自反率 B: 增广律 C: 结合律 D: 传递律
- 下列关于Armstrong公理系统的叙述中，错误的是（ ）。 A: Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中 B: Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来 C: 通常把自反律、传递律和增广律统称为Armstrong公理系统 D: Armstrong公理系统中的传递律就是传递函数依赖
- Armstrong公理系统包含以下推理规则：自反律、____和____。