Module `Flambda2_algorithms.Leapfrog`

This module implements the leapfrog join algorithm from the paper "Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm" by Todd L. Veldhuizen (1).

(1) https://arxiv.org/pdf/1210.0481

Iterators

module type Iterator = sig ... end

This module is really an interface for the trie iterators from "Leapfrog Triejoin: A Simple, Worst-Case Optimal Join Algorithm" by Todd L. Veldhuizen (1)), but because we want typed iterators, we cannot implement the open and up methods from the paper directly.

module Map
  (T : Flambda2_algorithms.Container_types.S_plus_iterator) : 
  sig ... end

module Join (Iterator : Flambda2_algorithms.Leapfrog.Iterator) : sig ... end

Module Flambda2_algorithms.Leapfrog

Iterators

Module `Flambda2_algorithms.Leapfrog`