A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Composition of mappings given by embedded dependencies
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Composing schema mappings: Second-order dependencies to the rescue
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Nested mappings: schema mapping reloaded
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
ACM Transactions on Database Systems (TODS)
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Implementing mapping composition
The VLDB Journal — The International Journal on Very Large Data Bases
Quasi-inverses of schema mappings
ACM Transactions on Database Systems (TODS)
The recovery of a schema mapping: bringing exchanged data back
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logical foundations of relational data exchange
ACM SIGMOD Record
Composing local-as-view mappings: closure and applications
Proceedings of the 13th International Conference on Database Theory
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
Foundations of schema mapping management
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Composition and inversion of schema mappings
ACM SIGMOD Record
The structure of inverses in schema mappings
Journal of the ACM (JACM)
MapMerge: correlating independent schema mappings
Proceedings of the VLDB Endowment
Update rewriting and integrity constraint maintenance in a schema evolution support system: PRISM++
Proceedings of the VLDB Endowment
Relaxed notions of schema mapping equivalence revisited
Proceedings of the 14th International Conference on Database Theory
Proceedings of the 14th International Conference on Database Theory
Reverse data exchange: Coping with nulls
ACM Transactions on Database Systems (TODS)
Normalization and optimization of schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
ACM SIGMOD Record
Data exchange beyond complete data
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
ACM Transactions on Database Systems (TODS)
MapMerge: correlating independent schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
Representation systems for data exchange
Proceedings of the 15th International Conference on Database Theory
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
Reasoning about functional and full hierarchical dependencies over partial relations
Information Sciences: an International Journal
On simplification of schema mappings
Journal of Computer and System Sciences
Data exchange beyond complete data
Journal of the ACM (JACM)
Hi-index | 0.00 |
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different formalizations of this concept have been introduced and studied, namely, the notions of an inverse of a schema mapping, a quasi-inverse of a schema mapping, and a maximum recovery of a schema mapping. The study of these notions has been carried out in the context in which source instances are restricted to consist entirely of constants, while target instances may contain both constants and labeled nulls. This restriction on source instances is crucial for obtaining some of the main technical results about these three notions, but, at the same time, limits their usefulness, since reverse data exchange naturally leads to source instances that may contain both constants and labeled nulls. We develop a new framework for reverse data exchange that supports source instances that may contain nulls, thus overcoming the semantic mismatch between source and target instances of the previous formalizations. The development of this new framework requires a careful reformulation of all the important notions, including the notions of the identity schema mapping, inverse, and maximum recovery. To this effect, we introduce the notions of extended identity schema mapping, extended inverse, and maximum extended recovery, by making systematic use of the homomorphism relation on instances. We give results concerning the existence of extended inverses and of maximum extended recoveries, and results concerning their applications to reverse data exchange and query answering. Moreover, we show that maximum extended recoveries can be used to capture in a quantitative way the amount of information loss embodied in a schema mapping specified by source-to-target tuple-generating dependencies.