Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Vortrag von David Carral
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."


This is a rehearsal talk for the DL Workshop 2018.