• 2022-07-28
    2. 由关系R出发根据Armstrong公理系统推导出来的每一个函数依赖,一定是R所逻辑蕴含的函数依赖,称之为Armstrong公理系统的__________性;对于R所逻辑蕴含的每一个函数依赖,必定可以由R出发根据Armstrong公理系统推导出来称之为Armstrong公理系统的__________性。