参考答案：

正确性是指，如果X→Y是从推理规则推出的，那么X→Y在F+中。完备性是指，不能从F使用推理规则导出的函数依赖不在F+中。