Conference icon

Conference

Combining rewriting and incremental materialisation maintenance for datalog programs with equality

Abstract:

Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by replacing all equal constants with a single representative; and incremental maintenance algorithms can efficiently update a materialisation for small changes in the input facts. Both techniques are critical to practical applicability of datalog systems; ho...

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

Actions


Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Engineering and Physical Sciences Research Council More from this funder
European Commission More from this funder
Publisher:
AAAI Press Publisher's website
Volume:
abs/1505.00212
Pages:
3127-3133
Publication date:
2015
ISSN:
1045-0823
URN:
uuid:e3ea1bdf-25df-402f-8f76-5db8174b8549
Source identifiers:
521997
Local pid:
pubs:521997
ISBN:
9781577357384
Keywords:

Terms of use


Metrics



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

TO TOP