重访规则重写：Datalog与ASP静态过滤的新视角
数据库
2026-01-14 v2 计算机科学中的逻辑
摘要
静态过滤是一种独立于数据的Datalog优化方法，它推广了关系数据库中的代数查询重写技术。尽管Kifer和Lozinskii早在1986年就发现了该方法，但它在最近的研究和系统开发中一直被忽视，其特例正被独立地重新发现。因此，我们回顾了原始方法，使用更新的术语和更通用的过滤谓词（这些谓词捕获了现代系统的特征），并展示了如何将其适用性扩展到回答集编程（ASP）。其结果严格更通用，但也比经典方法更复杂：一般情况下为双指数级，即使对于有界元数谓词也为单指数级。作为解决方案，我们提出了算法的可处理近似，在典型情况下仍能产生极大改进的逻辑程序，例如，它可以将规则系统在真实世界数据上的性能提高一个数量级。
引用
@article{arxiv.2601.05108,
title = {Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP},
author = {Philipp Hanisch and Markus Krötzsch},
journal= {arXiv preprint arXiv:2601.05108},
year = {2026}
}
备注
Technical report of our ICDT'26 paper