Automatic Reordering for Dataflow Safety of Datalog.

Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice

Browse the full PPDP paper archive.