Michael Leuschel先生；丹尼·德·施雷耶 通过对元企业的部分评估创建专门的完整性检查。 （英文） Zbl 0911.68028号 J.日志。程序。 36，第2期，149-193（1998）. 摘要：完整性约束对于演绎数据库的规范以及归纳和溯因逻辑程序都很有用。验证更新的完整性约束是一个主要的效率瓶颈，已经开发了专门的方法来加快这项任务。然而，他们仍然会产生相当大的管理费用。本文提出了一种解决此问题的方法，即使用部分求值来预编译某些更新模式的完整性检查。其思想是，在给定更新模式的情况下，可以执行许多完整性检查，而不需要知道实际的具体更新。为了实现预编译，我们将专门的完整性检查作为逻辑编程中的元解释器编写。这个元解释器包含了在给定更新之前未违反完整性约束的知识。通过使用早期工作中提出的部分评估技术，对该元解释器的某些交易模式进行部分评估，我们能够自动获得非常有效的专业更新程序，比文献中提出的其他完整性检查程序执行速度更快。 引用于1文件 MSC公司： 68N17号 逻辑编程 68N99型 软件理论 关键词：演绎数据库；超透光度计 软件：DPPD公司；幼儿保育和教育 PDF格式BibTeX公司 XML格式引用 \textit{M.Leuschel}和\textit{D.De Schreye}，J.Log。程序。36，第2号，149--193（1998；Zbl 0911.68028） 全文： 内政部