A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Monotone monadic SNP and constraint satisfaction
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A restricted second order logic for finite structures
Information and Computation
Horn clauses and database dependencies
Journal of the ACM (JACM)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
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
On the Logical Modeling of ETL Processes
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Data exchange: getting to the core
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Piazza: data management infrastructure for semantic web applications
WWW '03 Proceedings of the 12th international conference on World Wide Web
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
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Composition of mappings given by embedded dependencies
ACM Transactions on Database Systems (TODS)
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Compiling mappings to bridge applications and databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Quasi-inverses of schema mappings
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On reconciling data exchange, data integration, and peer data management
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
GeRoMeSuite: a system for holistic generic model management
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
XML data exchange: Consistency and query answering
Journal of the ACM (JACM)
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
Towards a theory of schema-mapping optimization
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Answering aggregate queries in data exchange
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange and schema mappings in open and closed worlds
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Hybrid query processing through services composition
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
Validation of mappings between schemas
Data & Knowledge Engineering
Compiling mappings to bridge applications and databases
ACM Transactions on Database Systems (TODS)
Incompleteness in information integration
Proceedings of the VLDB Endowment
An object-oriented operation-based approach to translation between MOF metaschemas
Data & Knowledge Engineering
Algebras of Ontology Alignment Relations
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Ten Challenges for Ontology Matching
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Structural characterizations of schema-mapping languages
Proceedings of the 12th International Conference on Database Theory
Data integration with uncertainty
The VLDB Journal — The International Journal on Very Large Data Bases
Generic schema mappings for composition and query answering
Data & Knowledge Engineering
Reverse data exchange: coping with nulls
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Clio: Schema Mapping Creation and Data Exchange
Conceptual Modeling: Foundations and Applications
Heterogeneity in Model Management: A Meta Modeling Approach
Conceptual Modeling: Foundations and Applications
The recovery of a schema mapping: Bringing exchanged data back
ACM Transactions on Database Systems (TODS)
Structural characterizations of schema-mapping languages
Communications of the ACM - Amir Pnueli: Ahead of His Time
Automating database schema evolution in information system upgrades
Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades
Inverting schema mappings: bridging the gap between theory and practice
Proceedings of the VLDB Endowment
Ontology and Schema Evolution in Data Integration: Review and Assessment
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
Enabling ontology evolution in data integration
Proceedings of the 2010 EDBT/ICDT Workshops
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
GeRoMe: a generic role based metamodel for model management
Journal on data semantics VIII
Standardized interoperable image retrieval
Proceedings of the 2010 ACM Symposium on Applied Computing
Teaching a schema translator to produce O/R views
ER'07 Proceedings of the 26th international conference on Conceptual modeling
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Proceedings of the 13th International Conference on Database Theory
Composition with target constraints
Proceedings of the 13th International Conference on Database Theory
Answering non-monotonic queries in relational data exchange
Proceedings of the 13th International Conference on Database Theory
On the tradeoff between mapping and querying power in XML data exchange
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
Data correspondence, exchange and repair
Proceedings of the 13th International Conference on Database Theory
Certain answers for XML queries
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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)
Automatic schema merging using mapping constraints among incomplete sources
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Temporal model-based diagnostics generation for HVAC control systems
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
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
Solving ORM by MAGIC: MApping generatIon and composition
ICOODB'10 Proceedings of the Third international conference on Objects and databases
Relaxed notions of schema mapping equivalence revisited
Proceedings of the 14th International Conference on Database Theory
Solutions in XML data exchange
Proceedings of the 14th International Conference on Database Theory
Proceedings of the 14th International Conference on Database Theory
The complexity of evaluating tuple generating dependencies
Proceedings of the 14th International Conference on Database Theory
Data exchange and schema mappings in open and closed worlds
Journal of Computer and System Sciences
Detecting semantics-preserving XML schema mappings based on annotations to OWL ontology
Proceedings of the 4th International Workshop on Logic in 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
Journal of the ACM (JACM)
Schema mapping with quality assurance for data integration
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
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
Semantics-preserving mappings between XML schemas in P2P data integration systems
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Utilising the MISM model independent schema management platform for query evaluation
BNCOD'11 Proceedings of the 28th British national conference on Advances in databases
Characterisations of multivalued dependency implication over undetermined universes
Journal of Computer and System Sciences
MapMerge: correlating independent schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
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
Semantic flow networks: semantic interoperability in networks of ontologies
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Query language-based inverses of schema mappings: semantics, computation, and closure properties
The VLDB Journal — The International Journal on Very Large Data Bases
XML data exchange with target constraints
Information Processing and Management: an International Journal
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
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
Incrementally improving dataspaces based on user feedback
Information Systems
HIL: a high-level scripting language for entity integration
Proceedings of the 16th International Conference on Extending Database Technology
Ontology evolution without tears
Web Semantics: Science, Services and Agents on the World Wide Web
Value invention in data exchange
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Solutions in XML data exchange
Journal of Computer and System Sciences
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). A fundamental problem is composing schema mappings: given two successive schema mappings, derive a schema mapping between the source schema of the first and the target schema of the second that has the same effect as applying successively the two schema mappings.In this article, we give a rigorous semantics to the composition of schema mappings and investigate the definability and computational complexity of the composition of two schema mappings. We first study the important case of schema mappings in which the specification is given by a finite set of source-to-target tuple-generating dependencies (source-to-target tgds). We show that the composition of a finite set of full source-to-target tgds with a finite set of tgds is always definable by a finite set of source-to-target tgds, but the composition of a finite set of source-to-target tgds with a finite set of full source-to-target tgds may not be definable by any set (finite or infinite) of source-to-target tgds; furthermore, it may not be definable by any formula of least fixed-point logic, and the associated composition query may be NP-complete. After this, we introduce a class of existential second-order formulas with function symbols and equalities, which we call second-order tgds, and make a case that they are the “right” language for composing schema mappings. Specifically, we show that second-order tgds form the smallest class (up to logical equivalence) that contains every source-to-target tgd and is closed under conjunction and composition. Allowing equalities in second-order tgds turns out to be of the essence, even though the “obvious” way to define second-order tgds does not require equalities. We show that second-order tgds without equalities are not sufficiently expressive to define the composition of finite sets of source-to-target tgds. Finally, we show that second-order tgds possess good properties for data exchange and query answering: the chase procedure can be extended to second-order tgds so that it produces polynomial-time computable universal solutions in data exchange settings specified by second-order tgds.