凯特丽尔·比里;拉胡·拉马克里希南 魔法的力量。 (英语) Zbl 0722.68018号 J.逻辑程序。 10,编号3-4,255-299(1991). 摘要:本文考虑使用Horn子句表示的递归查询的有效评估。我们正式定义了横向信息传递,并展示了如何根据横向信息传递和控制来定义查询评估算法。然后,我们考虑一类足以描述数据库文献中大多数查询评估算法的信息传递策略,并表明这些策略始终可以通过重写给定的程序和自下而上评估重写的程序来实现。我们详细描述了重写程序的几种算法。这些算法将计数和魔法集算法推广到适用于任意程序。还考虑了算法的安全性和优化性。 引用于35文件 MSC公司: 68N17号 逻辑编程 第68页,共15页 数据库理论 68T99型 人工智能 关键词:评价;递归查询;喇叭条款;横向信息传递;魔法套装 PDF格式BibTeX公司 XML格式引用 \textit{C.Beeri}和\textit{R.Ramakrishnan},J.Log。程序。10,编号3--4,255-299(1991;Zbl 0722.68018) 全文: 内政部