Foundations of deductive databases and logic programming
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
Data-driven understanding and refinement of schema mappings
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Static analysis in datalog extensions
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
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
How to Tackle Schema Validation by View Updating
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Schema Mapping as Query Discovery
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Comparison of Schema Matching Evaluations
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Representing and reasoning about mappings between domain models
Eighteenth national conference on Artificial intelligence
The Piazza Peer Data Management System
IEEE Transactions on Knowledge and Data Engineering
Views and queries: determinacy and rewriting
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
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
Checking query containment with the CQC method
Data & Knowledge Engineering
Information preserving XML schema embedding
VLDB '05 Proceedings of the 31st international conference on Very large data bases
HePToX: marrying XML and heterogeneity in your P2P databases
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
Implementing mapping composition
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Nested mappings: schema mapping reloaded
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Debugging schema mappings with routes
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
SPIDER: a schema mapPIng DEbuggeR
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
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
SVT: schema validation tool for microsoft SQL-server
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Schema mapping verification: the spicy way
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Determinacy and rewriting of conjunctive queries using views: a progress report
ICDT'07 Proceedings of the 11th international conference on Database Theory
A survey of schema-based matching approaches
Journal on Data Semantics IV
Semantic mappings in description logics for spatio-temporal database schema integration
Journal on Data Semantics III
MVT: a schema mapping validation tool
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Editorial: Revising the constraints of lightweight mediated schemas
Data & Knowledge Engineering
What is the IQ of your data transformation system?
Proceedings of the 21st ACM international conference on Information and knowledge management
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Matching Attributes across Overlapping Heterogeneous Data Sources Using Mutual Information
Journal of Database Management
Hi-index | 0.00 |
Mappings between schemas are key elements in several contexts such as data exchange, data integration and peer data management systems. In all these contexts, the mapping design process requires the participation of a mapping designer, who needs to be able to validate the mapping that is being defined, i.e., check whether the mapping is in fact what the designer intended. However, to date very little work has directly focused on the effective validation of schema mappings. In this paper, we present a new approach for validating schema mappings that allows the mapping designer to ask whether they have certain desirable properties. We consider four properties of mappings: mapping satisfiability, mapping inference, query answerability and mapping losslessness. We reformulate these properties in terms of the problem of checking whether a query is lively over a database schema. A query is lively if there is a consistent instance of the database for which the query gives a non-empty answer. To show the feasibility of our approach, we use an implementation of the CQC method and provide some experimental results.