Limit Datalog: A Declarative Query Language for Data Analysis
Special Interest Group on Management of Data, pp. 6-17, 2019.
Motivated by applications in declarative data analysis, we study DatalogZ-an extension of Datalog with stratified negation and arithmetics over integers. Reasoning in this language is undecidable, so we present a fragment, called limit DatalogZ, that is powerful enough to naturally capture many important data analysis tasks. In limit Data...More
Full Text (Upload PDF)
PPT (Upload PPT)