首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
  • 本地全文:下载
  • 作者:Gaetano Geck ; Bas Ketsman ; Frank Neven
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2016
  • 卷号:48
  • 页码:9:1-9:17
  • DOI:10.4230/LIPIcs.ICDT.2016.9
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要: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 paper extends the study of the complexity of parallel-correctness and its constituents, parallel-soundness and parallel-completeness, to unions of conjunctive queries with and without negation. As a by-product it is shown that the containment problem for conjunctive queries with negation is coNEXPTIME-complete.
  • 关键词:Conjunctive queries; distributed evaluation
国家哲学社会科学文献中心版权所有