亚德南·叶海亚;劳伦斯·亨森。 非Horn数据库中的扣除。 （英语） Zbl 0614.68072号 J.汽车。推理 1, 141-160 (1985). 研究了一类非Horn、无函数的数据库，并考虑了对此类数据库使用定理证明技术问题的几个方面。这包括探索否定信息的处理方法，并扩展Minker建议的现有方法，以接受非单位否定从句。结果表明，基于现有负信息处理方法的算法效率很低。提出了一种替代方法，并在此基础上给出了一种更简单的算法。解决了非Horn数据库中与查询应答相关的问题，并与Horn案例中的问题进行了比较。结果表明，在一般情况下，查询求值过程可能很难计算。讨论了简化过程的条件。考虑了非Horn一般定律的主题，并提出了一些准则，将这些定律分为推导规则和完整性约束。讨论了这种划分对查询评估过程的影响。 引用于三评论引用于27文件 MSC公司： 68第20页 信息存储和数据检索 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：演绎数据库;广义封闭世界假设 PDF格式BibTeX公司 XML格式引用 \textit{A.Yahya}和\textit{L.J.Henschen}，J.Autom。推理1，141--160（1985；Zbl 0614.68072） 全文： DOI程序