Journal article icon

Journal article

Incremental update of datalog materialisation : the backward/forward algorithm

Abstract:

Datalog-based systems often materialise all consequences of a datalog program and the data, allowing users’ queries to be evaluated directly in the materialisation. This process, however, can be computationally intensive, so most systems update the materialisation incrementally when input data changes. We argue that existing solutions, such as the well-known Delete/Rederive (DRed) algorithm, can be inefficient in cases when facts have many alternate derivations. As a possible remedy, we pr...

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

Actions


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Oxford college:
Somerville College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Information Systems Group
Oxford college:
Oriel College
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Funding agency for:
Nenov, Y
Piro, R
Grant:
EP/J020214/1
EP/L012138/1
More from this funder
Name:
Engineering and Physical Sciences research Council
Funding agency for:
Motik, B
Grant:
EP/K00607X/1
Publisher:
Association for the Advancement of Artificial Intelligence
Journal:
AAAI Conference on Artificial Intelligence More from this journal
Volume:
AAAI-2015
Pages:
1560-1568
Publication date:
2015-01-01
EISSN:
2374-3468
ISSN:
2159-5399
Language:
English
Keywords:
Subjects:
UUID:
uuid:1da9041e-030d-4808-85d2-29b4bd6a029b
Local pid:
ora:9575
Deposit date:
2014-12-11

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