名词解释
推理规则的正确性和完备性
正确性是指，如果X→Y是从推理规则推出的，那么X→Y在F+中。完备性是指，不能从F使用推理规则导出的函数依赖不在F+中。
名词解释 函数依赖集F的闭包F+
名词解释 传递依赖
名词解释 函数依赖的逻辑蕴涵
