主要内容: 1、逻辑蕴涵 2、 Armstrong公理系统 3、函数依赖集的闭包 4、函数依赖集的等价及最小依赖集主要内容： 1、逻辑蕴涵 2、Armstrong公理系统 3、函数依赖集的闭包 4、函数依赖集的等价及最小依赖集