Design and Implementation of the LogicBlox System
Incremental Maintenance for Leapfrog Triejoin