Efficient Model Construction for Horn Logic with VLog
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Abstract
We extend the Datalog engine VLog to develop a column-oriented implementation of the skolem and the restricted chase – two variants of a sound and complete algorithm used for model construction over theories of existential rules. We conduct an extensive evaluation over several data-intensive theories with millions of facts and thousands of rules, and show that VLog can compete with the state of the art, regarding runtime, scalability, and memory efficiency.
Details
Original language | English |
---|---|
Title of host publication | Automated Reasoning |
Editors | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
Publisher | Springer, Cham |
Pages | 680–688 |
ISBN (electronic) | 978-3-319-94205-6 |
ISBN (print) | 978-3-319-94204-9 |
Publication status | Published - 2018 |
Peer-reviewed | Yes |
Publication series
Series | Lecture Notes in Computer Science |
---|---|
Volume | 10900 |
ISSN | 0302-9743 |
External IDs
Scopus | 85049995516 |
---|