×

魔法的力量。 (英语) Zbl 0722.68018号

摘要:本文考虑使用Horn子句表示的递归查询的有效评估。我们正式定义了横向信息传递,并展示了如何根据横向信息传递和控制来定义查询评估算法。然后,我们考虑一类足以描述数据库文献中大多数查询评估算法的信息传递策略,并表明这些策略始终可以通过重写给定的程序和自下而上评估重写的程序来实现。我们详细描述了重写程序的几种算法。这些算法将计数和魔法集算法推广到适用于任意程序。还考虑了算法的安全性和优化性。

MSC公司:

68N17号 逻辑编程
第68页,共15页 数据库理论
68T99型 人工智能
PDF格式BibTeX公司 XML格式引用
全文: 内政部