Query languages for data exchange: beyond unions of conjunctive queries

DOI10.1007/S00224-010-9259-6MaRDI QIDQ639842zbMATH OpenOpenAlexFDO

Authors Marcelo Arenas, Pablo Barceló, Juan L. Reutter

Publication date 11 October 2011

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-010-9259-6

zbMATH Keywords

computational complexitynegationconjunctive queriesdata complexity\textsc{Datalog}

Mathematics Subject Classification ID

Database theory (68P15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• Data exchange: semantics and query answering
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
• Complexity of the Stable Model Semantics for Queries on Incomplete Databases
• scientific article; zbMATH DE number 1953133

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 784042 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• A Proof Procedure for Data Dependencies
• Data exchange and schema mappings in open and closed worlds
• Data exchange: getting to the core
• Data exchange: on the complexity of answering queries with inequalities
• Data exchange: semantics and query answering
• Elements of finite model theory.
• Incomplete Information in Relational Databases
• On the complexity of single-rule datalog queries.
• The classical decision problem.

Cited in

(8)

• scientific article; zbMATH DE number 7301303 (Why is no real title available?)
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• A fuzzy extension of data exchange
• A NEW RELATIONAL (DOMAIN-CALCULUS TYPE) QUERY LANGUAGE BASED ON THE PARTITION MODEL
• XML schema mappings, data exchange and metadata management
• Querying data sources that export infinite sets of views
• A query language for NC (extended abstract)
• A Non-Deterministic Multiset Query Language

This page was built for publication: Query languages for data exchange: beyond unions of conjunctive queries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q639842)