名词解释
推理规则的正确性和完备性
【参考答案】
正确性是指，如果X→Y是从推理规则推出的，那么X→Y在F+中。完备性是指，不能从F使用推理规则导出的函数依赖不在F+中。
点击查看答案
相关考题
