问题
单项选择题
下列关于Armp公理系统的叙述中，错误的是（）。
A．Armp公理系统有效性是指，从函数依赖集F出发，根据Armp公理推导出来的每一个函数依赖一定在F的闭包中
B．Armp公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armp公理推导出来
C．通常把自反律、传递律和增广律统称为Armp公理系统
D．Armp公理系统中的传递律就是传递函数依赖
答案
参考答案：D
解析：
根据传递律和传递函数依赖的定义可知，这两者不是同一个概念，尽管它们形式类似。