  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.
