Representing and Reasoning about Mappings between Domain Models

Mappings between disparate models are fundamental to any application that requires interoperability between heterogeneous data and applications. Generating mappings is a laborintensive and error prone task. To build a system that helps users generate mappings, we need an explicit representation of mappings. This representation needs to have well-defined semantics to enable reasoning and comparison between mappings. This paper first presents a powerful framework for defining languages for specifying mappings and their associated semantics. We examine the use of mappings and identify the key inference problems associated with mappings. These properties can be used to determine whether a mapping is adequate in a particular context. Finally, we consider an instance of our framework for a language representing mappings between relational data. We present sound and complete algorithms for the corresponding inference problems.

Authors

• Jayant Madhavan University of Washington; Philip A. Bernstein
• Microsoft Research; Pedro Domingos and Alon Y. Halevy University of Washington

Keywords

No keywords are indexed for this paper.