• 2022-07-28
    ​下列关于Armstrong公理系统的叙述中,错误的是( )。​
    A: Armstrong公理系统有效性是指,从函数依赖集F出发,根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中
    B: Armstrong公理系统完备性是指,F+中的每一个函数依赖必定可以由F出发,根据Armstrong公理推导出来
    C: 通常把自反律、传递律和增广律统称为Armstrong公理系统
    D: Armstrong公理系统中的传递律就是传递函数依赖