A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Why Horn formulas matter in computer science: initial structures and generic examples
Journal of Computer and System Sciences
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains
Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Navigational plans for data integration
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
EXPRESS: a data EXtraction, Processing, and Restructuring System
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
CONVERT: a high level translation definition language for data conversion
Communications of the ACM
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Correspondence and Translation for Heterogeneous Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Schema Mapping as Query Discovery
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Data Integration under Integrity Constraints
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Data Exchange: Semantics and Query Answering
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
WWW '03 Proceedings of the 12th international conference on World Wide Web
Capturing both types and constraints in data integration
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
The hyperion project: from data integration to data coordination
ACM SIGMOD Record
Data integration under integrity constraints
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Constraint-based XML query rewriting for data integration
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Preserving mapping consistency under schema changes
The VLDB Journal — The International Journal on Very Large Data Bases
Completeness of integrated information sources
Information Systems - Special issue: Data quality in cooperative information systems
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Kanata: adaptation and evolution in data sharing systems
ACM SIGMOD Record
Representing and Querying Data Transformations
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Composing schema mappings: second-order dependencies to the rescue
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Locally consistent transformations and query answering in data exchange
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
XML data exchange: consistency and query answering
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing cores for data exchange: new algorithms and practical solutions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composition of mappings given by embedded dependencies
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining source contribution in integration systems
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Supporting executable mappings in model management
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Clio grows up: from research prototype to industrial tool
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Data exchange: on the complexity of answering queries with inequalities
Information Processing Letters
Semantic adaptation of schema mappings when schemas evolve
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Data sharing in the Hyperion peer database system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
XML Queries and constraints, containment and reformulation
Theoretical Computer Science - Database theory
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Database repairing using updates
ACM Transactions on Database Systems (TODS)
A mapping system for the integration of OWL-DL ontologies
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Information retrieval and machine learning for probabilistic schema matching
Proceedings of the 14th ACM international conference on Information and knowledge management
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Query reformulation with constraints
ACM SIGMOD Record
Data exchange and incomplete information
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Consistent query answering in databases
ACM SIGMOD Record
Containment of conjunctive object meta-queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
ACM Transactions on Database Systems (TODS)
Composition of mappings given by embedded dependencies
ACM Transactions on Database Systems (TODS)
Information retrieval and machine learning for probabilistic schema matching
Information Processing and Management: an International Journal
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
One-to-many data transformations through data mappers
Data & Knowledge Engineering
Harmonise: A Step Toward an Interoperable E-Tourism Marketplace
International Journal of Electronic Commerce
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Mapping adaptation under evolving schemas
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Data sharing through query translation in autonomous sources
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Queries and updates in the coDB peer to peer database system
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
On the complexity of deriving schema mappings from database instances
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Approximate schemas, source-consistency and query answering
Journal of Intelligent Information Systems
Maintaining Semantic Mappings between Database Schemas and Ontologies
Semantic Web, Ontologies and Databases
Consistent Query Answering: The First Ten Years
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Incompleteness in information integration
Proceedings of the VLDB Endowment
A step towards incremental maintenance of the composed schema mapping
Proceedings of the 17th ACM conference on Information and knowledge management
Data integration for the semantic web with full preferences
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Taming Existence in RDF Querying
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The Harmony Integration Workbench
Journal on Data Semantics XI
Querying data sources that export infinite sets of views
Proceedings of the 12th International Conference on Database Theory
A runtime approach to model-independent schema and data translation
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
Generalized schema-mappings: from termination to tractability
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Size and treewidth bounds for conjunctive queries
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Schema mapping discovery from data instances
Journal of the ACM (JACM)
Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Approximate Structural Consistency
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Locality of Queries and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Data exchange: On the complexity of answering queries with inequalities
Information Processing Letters
Subsumption and complementation as data fusion operators
Proceedings of the 13th International Conference on Extending Database Technology
Composition with target constraints
Proceedings of the 13th International Conference on Database Theory
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
FORUM: a flexible data integration system based on data semantics
ACM SIGMOD Record
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Journal of Computer and System Sciences
Proceedings of the 4th International Workshop on Logic in Databases
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Certain answers for views and queries expressed as non-recursive datalog programs with negation
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
Discovering implicit categorical semantics for schema matching
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications: Part II
Heterogeneous data translation through XML conversion
Journal of Web Engineering
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
ICDT'07 Proceedings of the 11th international conference on Database Theory
Privacy in GLAV information integration
ICDT'07 Proceedings of the 11th international conference on Database Theory
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Translating XML web data into ontologies
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A runtime approach to model-generic translation of schema and data
Information Systems
oMAP: combining classifiers for aligning automatically OWL ontologies
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
First-order query rewriting for inconsistent databases
ICDT'05 Proceedings of the 10th international conference on Database Theory
Rewriting queries using views with access patterns under integrity constraints
ICDT'05 Proceedings of the 10th international conference on Database Theory
Logical foundations for data integration
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Query answering by rewriting in GLAV data integration systems under constraints
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Data sharing and querying for peer-to-peer data management systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
A distributed algorithm for robust data sharing and updates in p2p database networks
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
OLAP query reformulation in peer-to-peer data warehousing
Information Systems
Models for incomplete and probabilistic information
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Data integration targeting a drug related knowledge base
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Chemical knowledge representation with description graphs and logic programming
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Intensional semantics for p2p data integration
Journal on Data Semantics VI
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Tableaux-based optimization of schema mappings for data integration
Journal of Intelligent Information Systems
Size and Treewidth Bounds for Conjunctive Queries
Journal of the ACM (JACM)
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Representation systems for data exchange
Proceedings of the 15th International Conference on Database Theory
Towards scalable data integration under constraints
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Approximate answers to OLAP queries on streaming data warehouses
Proceedings of the fifteenth international workshop on Data warehousing and OLAP
Preference-based integration of relational databases into a description logic
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Completeness of queries over SQL databases
Proceedings of the 21st ACM international conference on Information and knowledge management
Integrating ETL processes from information requirements
DaWaK'12 Proceedings of the 14th international conference on Data Warehousing and Knowledge Discovery
Query rewriting under ontology contraction
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A dynamically semantic platform for efficient information retrieval in P2P networks
International Journal of Grid and Utility Computing
International Journal of Advanced Pervasive and Ubiquitous Computing
Access patterns and integrity constraints revisited
Proceedings of the 16th International Conference on Database Theory
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Why is it Hard to Obtain a Dichotomy for Consistent Query Answering?
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
Data exchange is the problem of taking data structured under a source schema and creating an instance of a target schema that reflects the source data as accurately as possible. In this paper, we address foundational and algorithmic issues related to the semantics of data exchange and to query answering in the context of data exchange. These issues arise because, given a source instance, there may be many target instances that satisfy the constraints of the data exchange problem. We give an algebraic specification that selects, among all solutions to the data exchange problem, a special class of solutions that we call universal. A universal solution has no more and no less data than required for data exchange and it represents the entire space of possible solutions. We then identify fairly general, and practical, conditions that guarantee the existence of a universal solution and yield algorithms to compute a canonical universal solution efficiently. We adopt the notion of "certain answers" in indefinite databases for the semantics for query answering in data exchange. We investigate the computational complexity of computing the certain answers in this context and also study the problem of computing the certain answers of target queries by simply evaluating them on a canonical universal solution.