Efficient Model Construction for Horn Logic with VLog

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-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 languageEnglish
Title of host publicationAutomated Reasoning
EditorsDidier Galmiche, Stephan Schulz, Roberto Sebastiani
PublisherSpringer, Cham
Pages680–688
ISBN (electronic)978-3-319-94205-6
ISBN (print)978-3-319-94204-9
Publication statusPublished - 2018
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science
Volume10900
ISSN0302-9743

External IDs

Scopus 85049995516