Parallel-Correctness and Parallel-Boundedness for Datalog Programs.

Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort

Browse the full ICDT paper archive.