Data exchange: getting to the core

DOI10.1145/1061318.1061323zbMath1326.68119OpenAlexW2159686758WikidataQ106466848 ScholiaQ106466848MaRDI QIDQ3549128

Lucian Popa, Phokion G. Kolaitis, Ronald Fagin

Publication date: 21 December 2008

Published in: ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1061318.1061323

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (28)

On the data complexity of consistent query answering ⋮ Towards knowledge exchange: state-of-the-art and open problems ⋮ Knowledge base exchange: the case of OWL 2 QL ⋮ On the equivalence between FDs in XML and FDs in relations ⋮ Relaxed notions of schema mapping equivalence revisited ⋮ Towards more expressive ontology languages: the query answering problem ⋮ Conjunctive query evaluation by search-tree revisited ⋮ Preserving Constraints with the Stable Chase ⋮ Covers of Query Results ⋮ Magic Sets and their application to data integration ⋮ Solutions and query rewriting in data exchange ⋮ On simplification of schema mappings ⋮ Capturing model-based ontology evolution at the instance level: the case of DL-Lite ⋮ Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA ⋮ A Logic Framework for P2P Deductive Databases ⋮ Query languages for data exchange: beyond unions of conjunctive queries ⋮ Fuzzy data exchange ⋮ Foundations of semantic web databases ⋮ Data exchange and schema mappings in open and closed worlds ⋮ On the finite controllability of conjunctive query answering in databases under open-world assumption ⋮ Tractable XML data exchange via relations ⋮ Towards practical feasibility of core computation in data exchange ⋮ Some notes on declarative specification of semantic data integration task in a peer-to-peer agent system ⋮ CoReS: a tool for computing core graphs via SAT/SMT solvers ⋮ A Fuzzy Extension of Data Exchange ⋮ Uniform Constraint Satisfaction Problems and Database Theory ⋮ Schema Mappings: A Case of Logical Dynamics in Database Theory ⋮ Fast left Kan extensions using the chase

This page was built for publication: Data exchange: getting to the core