Foundations of Declarative Data Analysis Using Limit Datalog Programs
Abstract
Motivated by applications in declarative data analysis, we study ---an extension of positive Datalog with arithmetic functions over integers. This language is known to be undecidable, so we propose two fragments. In predicates are axiomatised to keep minimal/maximal numeric values, allowing us to show that fact entailment is coNExpTime-complete in combined, and coNP-complete in data complexity. Moreover, an additional requirement causes the complexity to drop to ExpTime and PTime, respectively. Finally, we show that stable can express many useful data analysis tasks, and so our results provide a sound foundation for the development of advanced information systems.
Cite
@article{arxiv.1705.06927,
title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks},
journal= {arXiv preprint arXiv:1705.06927},
year = {2017}
}
Comments
23 pages; full version of a paper accepted at IJCAI-17; v2 fixes some typos and improves the acknowledgments