Todd L. Veldhuizen·2013-03-21·via cs.DB updates on arXiv.org
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.