A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Relative information capacity of simple relational database schemata
SIAM Journal on Computing
EXPRESS: a data EXtraction, Processing, and Restructuring System
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science)
Data exchange: getting to the core
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Supporting executable mappings in model management
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Semantic adaptation of schema mappings when schemas evolve
VLDB '05 Proceedings of the 31st international conference on Very large data bases
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
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Quasi-inverses of schema mappings
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Graceful database schema evolution: the PRISM workbench
Proceedings of the VLDB Endowment
Managing the History of Metadata in Support for DB Archiving and Schema Evolution
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
Reverse data exchange: coping with nulls
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Clio: Schema Mapping Creation and Data Exchange
Conceptual Modeling: Foundations and Applications
The recovery of a schema mapping: Bringing exchanged data back
ACM Transactions on Database Systems (TODS)
Inverting schema mappings: bridging the gap between theory and practice
Proceedings of the VLDB Endowment
Composition with target constraints
Proceedings of the 13th International Conference on Database Theory
Proceedings of the 13th International Conference on Database Theory
Composing local-as-view mappings: closure and applications
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)
Solving ORM by MAGIC: MApping generatIon and composition
ICOODB'10 Proceedings of the Third international conference on Objects and databases
Reverse data exchange: Coping with nulls
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Data exchange beyond complete data
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combining OWL ontology and schema annotations in metadata management
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Merging relational views: a minimization approach
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Local transformations and conjunctive-query equivalence
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Core schema mappings: Scalable core computations in data exchange
Information Systems
Representation systems for data exchange
Proceedings of the 15th International Conference on Database Theory
Query language-based inverses of schema mappings: semantics, computation, and closure properties
The VLDB Journal — The International Journal on Very Large Data Bases
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
Schema mappings and data exchange for graph databases
Proceedings of the 16th International Conference on Database Theory
On simplification of schema mappings
Journal of Computer and System Sciences
The language of plain SO-tgds: Composition, inversion and structural properties
Journal of Computer and System Sciences
Data exchange beyond complete data
Journal of the ACM (JACM)
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Hi-index | 0.00 |
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the target schema). Although the notion of an inverse of a schema mapping is important, the exact definition of an inverse mapping is somewhat elusive. This is because a schema mapping may associate many target instances with each source instance, and many source instances with each target instance. Based on the notion that the composition of a mapping and its inverse is the identity, we give a formal definition for what it means for a schema mapping M′ to be an inverse of a schema mapping M for a class S of source instances. We call such an inverse an S-inverse. A particular case of interest arises when S is the class of all source instances, in which case an S-inverse is a global inverse. We focus on the important and practical case of schema mappings specified by source-to-target tuple-generating dependencies, and uncover a rich theory. When S is specified by a set of dependencies with a finite chase, we show how to construct an S-inverse when one exists. In particular, we show how to construct a global inverse when one exists. Given M and M′, we show how to define the largest class S such that M′ is an S-inverse of M.