Incremental Maintenance for Leapfrog Triejoin
arXiv:1303.5313
Abstract
We present an incremental maintenance algorithm for leapfrog triejoin. The algorithm maintains rules in time proportional (modulo log factors) to the edit distance between leapfrog triejoin traces.