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 |
|---|