EDBT/ICDT 2010 Joint Conference

Electronic Conference Proceedings

• Welcome
• Full Program
• ICDT Sessions
  • Invited Talks
  • Research Track
    • Optimization, Indexing, and Transactions
    • Probabilistic Databases
    • Views, Inclusion, and Equivalence
    • Data Exchange 1
    • Logic and XPath
    • Data Exchange 2
    • XML
• ICDT Papers
• EDBT Sessions
• EDBT Papers
• Author Index
• Workshops

Mapping Polymorphism

Download PDF

Authors

• Ryan Wisnesky (Harvard University, USA)
• Mauricio Hernandez (IBM Research - Almaden, USA)
• Lucian Popa (IBM Research - Almaden, USA)

Abstract

We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a type-checking algorithm such that typable map- pings are necessarily satisfiable. We add type variables to the schema language and present a theory of polymorphism, including a sound and complete type inference algorithm and a semantic notion of a principal type of a mapping. Principal types, which intuitively correspond to the minimum amount of schema structure required by the mappings, have an important application for mapping reuse. Concretely, we show that mappings can be reused, with the same semantics, on any schemas as long as these schemas are expansions (i.e., subtypes) of the principal types.

Session

ICDT Research Session 6: Data Exchange 2 (Thursday, March 25, 11:00—12:30)