Geck, GaetanoKetsman, BasNeven, FrankSchwentick, Thomas2019-08-012019-08-012019-08-012019-07-0110.1145/3329120https://infoscience.epfl.ch/handle/20.500.14299/159490WOS:000475734700006Single-round multiway join algorithms first reshuffle data over many servers and then evaluate the query at hand in a parallel and communication-free way. A key question is whether a given distribution policy for the reshuffle is adequate for computing a given query, also referred to as parallel-correctness. This article extends the study of the complexity of parallel-correctness and its constituents, parallel-soundness and parallel-completeness, to unions of conjunctive queries with negation. As a by-product, it is shown that the containment problem for conjunctive queries with negation is coNEXPTIME-complete.Computer Science, Theory & MethodsLogicComputer ScienceScience & Technology - Other Topicsconjunctive queriesparallel-correctnesscontainmentdatalogtext::journal::journal article::research article