Adding magic to an optimising datalog compiler.

Damien Sereni, Pavel Avgustinov, Oege de Moor

Browse the full SIGMOD paper archive.