Datalog Engines

The LogicBlox System

I have been working with folks at LogicBlox on their database engine.

• The Design and Implementation of the LogicBlox System. [pdf]
  Molham Aref, Balder ten Cate, TJ Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd Veldhuizen, Geoffrey Washburn
  In ACM SIGMOD, Melbourne, June 2015.
  
  Overview of design considerations behind the LogicBlox system and highlight of innovative aspects, including: LogiQL, a unified and declarative language based on Datalog; the use of purely functional data structures; novel join processing strategies; advanced incremental maintenance and live programming facilities; a novel concurrency control scheme; and built-in support for descriptive and predictive analytics.

• Live Programming Support in the LogicBlox System: A MetaLogiQL Approach. [pdf]
  TJ Green, Dan Olteanu, Geoffrey Washburn
  In PVLDB:8(12), Hawaii, Sept 2015.
  
  Yo Dawg, We Heard You Like Datalog Engines, so We Put a Datalog Engine in Your Datalog Engine so You Can Derive While You Derive!

PPDL: Probabilistic Programming Datalog

Research project with folks at LogicBlox, partially funded by DARPA's PPAML initiative.

• Declarative Probabilistic Programming with Datalog. [accepted version]
  Vince Barany and Balder ten Cate and Benny Kimelfeld and Dan Olteanu and Zografoula Vagena.
  Accepted to appear in ACM Transactions on Database Systems (TODS), Aug 2017.
  ACM TODS special issue of best papers at ICDT 2016.

• Declarative Probabilistic Programming with Datalog. [pdf]
  Vince Barany and Balder ten Cate and Benny Kimelfeld and Dan Olteanu and Zografoula Vagena.
  In Int Conf on Database Theory (ICDT), Bordeaux, March 2016.
  Extended version in technical report, arxiv, December 2014.
  
  Probabilistic-programming Datalog can express probabilistic models concisely and declaratively in a Datalog extension with probability distributions as first-class citizens.

• PPDL: Probabilistic Programming with Datalog. [arxiv]
  Balder ten Cate, Benny Kimelfeld, and Dan Olteanu.
  In Alberto Mendelzon Workshop (AMW), Lima, April 2015.
  Short version of technical report, arXiv, December 2014.
  
  Probabilistic-programming Datalog can express probabilistic models concisely and declaratively in a Datalog extension with probability distributions as first-class citizens.

RDFox: Highly Scalable Datalog Engine

This is a project led by Boris Motik at Oxford.

• Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. [pdf]
  Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks and Dan Olteanu.
  In DL, Vienna, July 2014.
  
  The RDFox datalog engine (see AAAI'14 paper below) used for materialization of OWL RL Knowledge Bases.

• Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems. [pdf]
  Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks and Dan Olteanu.
  In AAAI, Quebec, July 2014.
  
  RDFox: Parallel materialization of datalog programs in centralized, main-memory, multi-core RDF systems. RDF indexing data structure supporting efficient, mostly lock-free parallel updates.