• 2022-06-14
    “从已知的函数依赖集使用推理规则导出的函数依赖在F+中”,是推理规则的 性,而“不能从已知的函数依赖使用推理规则导出的函数依赖不在F +中”,是推理规则的 性。