Fast Parallel Equivalence Relations in a Datalog Compiler

This is the Fast Parallel Equivalence Relations in a Datalog Compiler. It was published in the International Conference on Parallel Architectures and Compilation Techniques, Sep 23-25, Seattle, WA, USA. The paper describes the integration of a concurrent equivalence relation data-structure in Soufflé that performs the computation of reflexivitiy, symmetry, and transitivity inside the data-structure. This gives enormous speed-ups and reduces memory overheads. Abstract Modern parallelizing Dat...

Submit