Efficient Model Construction for Horn Logic with VLog
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
| Originalsprache | Englisch |
|---|---|
| Titel | Automated Reasoning |
| Redakteure/-innen | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
| Herausgeber (Verlag) | Springer, Cham |
| Seiten | 680–688 |
| ISBN (elektronisch) | 978-3-319-94205-6 |
| ISBN (Print) | 978-3-319-94204-9 |
| Publikationsstatus | Veröffentlicht - 2018 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 10900 |
| ISSN | 0302-9743 |
Externe IDs
| Scopus | 85049995516 |
|---|