Problem: the current Datalog engines for Datomic and DataScript often add a lot of overhead. Basic OLTP queries can typically see their execution time improve from 100µs to 1µs by rewriting them from Datalog to direct index lookups in Clojure (at the expense of readability).
I’m considering working on an ‘optimizing compiler’, that would accept a Datalog query and return a function ready to be run on its arguments, with much less interpretation overhead.
Before starting work on this, I’d like to know who’s interested? Any reasons why this may not be valuable to your projects?
Vote with or