- Article
A Differential Datalog Interpreter
- Matthew James Stephenson
The core reasoning task for datalog engines is materialization, the evaluation of a datalog program over a database alongside its physical incorporation into the database itself. The de-facto method of computing is through the recursive application o...

