An efficient interpreter for Datalog by de-specializing relations
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard J. Scholz · 2021
Datalog is becoming increasingly popular as a standard tool for a variety of use cases. Modern Datalog engines can achieve high performance by specializing data structures for relational operations. For example, the Datalog engine Soufflé achieves high performance with a synthesizer that specializes data structures for relations. However, the synthesizer cannot always be deployed, and a fast interpreter is required.