Frank Neven, Thomas Schwentick, Christopher Spinrath, Brecht Vandevoort. Parallel-Correctness and Parallel-Boundedness for Datalog Programs. In Pablo Barceló, Marco Calautti, editors, 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal. Volume 127 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Abstract is missing.