Limit Datalog: A Declarative Query Language for Data Analysis

Special Interest Group on Management of Data, pp. 6-17, 2019.

Cited by: 0|Bibtex|Views76
EI
Other Links: dl.acm.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments