An efficient interpreter for Datalog by de-specializing relations.

Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz

Browse the full PLDI paper archive.