We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Modular Materialisation of Datalog Programs

Abstract: The semina\"ive algorithm can materialise all consequences of arbitrary datalog rules, and it also forms the basis for incremental algorithms that update a materialisation as the input facts change. Certain (combinations of) rules, however, can be handled much more efficiently using custom algorithms. To integrate such algorithms into a general reasoning approach that can handle arbitrary rules, we propose a modular framework for materialisation computation and its maintenance. We split a datalog program into modules that can be handled using specialised algorithms, and handle the remaining rules using the semina\"ive algorithm. We also present two algorithms for computing the transitive and the symmetric-transitive closure of a relation that can be used within our framework. Finally, we show empirically that our framework can handle arbitrary datalog programs while outperforming existing approaches, often by orders of magnitude.
Comments: Accepted at AAAI 2019
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)
Cite as: arXiv:1811.02304 [cs.AI]
  (or arXiv:1811.02304v2 [cs.AI] for this version)

Submission history

From: Pan Hu [view email]
[v1] Tue, 6 Nov 2018 11:51:10 GMT (34kb)
[v2] Tue, 13 Nov 2018 23:57:54 GMT (36kb)

Link back to: arXiv, form interface, contact.