Block-Sorted Quantified Conjunctive Queries

DOI10.1007/978-3-642-39212-2_14zbMath1334.68129OpenAlexW63340727MaRDI QIDQ5327428

Dániel Marx, Hubie Chen

Publication date: 7 August 2013

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: http://eprints.sztaki.hu/9349/

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Quantified Constraints in Twenty Seventeen ⋮ Decomposing Quantified Conjunctive (or Disjunctive) Formulas ⋮ Unnamed Item ⋮ Characterizing tractability of simple well-designed pattern trees with projection

This page was built for publication: Block-Sorted Quantified Conjunctive Queries