Journal article icon

Journal article

Limit Datalog: A declarative query language for data analysis

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 DatalogZ, all intensional predicates with a numeric argument are limit predicates that keep only the maximal or minimal bounds on numeric values. Reasoning in li...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1145/3385658.3385660

Authors


More by this author
Institution:
University of Oxford
Department:
COMPUTER SCIENCE
Sub department:
Computer Science
Role:
Author
ORCID:
0000-0003-2506-4118
More from this funder
Name:
Engineering and Physical Sciences Research Council
Grant:
EP/P025943/1
Publisher:
Association for Computing Machinery
Journal:
SIGMOD Record More from this journal
Volume:
48
Issue:
4
Article number:
4
Pages:
6-17
Publication date:
2020-02-25
Acceptance date:
2019-11-01
DOI:
ISSN:
0163-5808
Language:
English
Keywords:
Pubs id:
1096956
Local pid:
pubs:1096956
Deposit date:
2020-09-18

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP