Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
 
research article

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation

Geck, Gaetano
•
Ketsman, Bas  
•
Neven, Frank
Show more
July 1, 2019
Acm Transactions On Computational Logic

Single-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.

  • Details
  • Metrics
Type
research article
DOI
10.1145/3329120
Web of Science ID

WOS:000475734700006

Author(s)
Geck, Gaetano
Ketsman, Bas  
Neven, Frank
Schwentick, Thomas
Date Issued

2019-07-01

Publisher

ASSOC COMPUTING MACHINERY

Published in
Acm Transactions On Computational Logic
Volume

20

Issue

3

Start page

18

Subjects

Computer Science, Theory & Methods

•

Logic

•

Computer Science

•

Science & Technology - Other Topics

•

conjunctive queries

•

parallel-correctness

•

containment

•

datalog

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DATA  
Available on Infoscience
August 1, 2019
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/159490
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés