Efficient Model Construction for Horn Logic with VLog System Description

摘要

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.