Mapping polymorphism

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 mappings 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.

[1]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[2]  Benjamin C. Pierce,et al.  The XTATIC Experience , 2004 .

[3]  Jan Van den Bussche,et al.  A crash course on database queries , 2007, PODS.

[4]  B. Pierce,et al.  A Language for Bi-Directional Tree Transformations , 2004 .

[5]  Ronald Fagin.  Inverting schema mappings , 2007 .

[6]  Benedict R. Gaster,et al.  A Polymorphic Type System for Extensible Records and Variants , 1996 .

[7]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[9]  Todd D. Millstein,et al.  Navigational Plans For Data Integration , 1999, AAAI/IAAI.

[10]  Ryan Wisnesky.  Mapping Dependence , 2009 .

[11]  Laura M. Haas,et al.  Schema Mapping as Query Discovery , 2000, VLDB.

[12]  Laura M. Haas,et al.  Clio: Schema Mapping Creation and Data Exchange , 2009, Conceptual Modeling: Foundations and Applications.

[13]  Paolo Papotti,et al.  Schema exchange: Generic mappings for transforming data and metadata , 2009, Data Knowl. Eng..

[14]  Brian Beckman,et al.  LINQ: reconciling object, relations and XML in the .NET framework , 2006, SIGMOD Conference.

[15]  Joe B. Wells,et al.  The Essence of Principal Typings , 2002, ICALP.

[16]  Jayant Madhavan,et al.  Composing Mappings Among Data Sources , 2003, VLDB.

[17]  Jan Van den Bussche,et al.  Well-definedness and semantic type-checking for the nested relational calculus , 2007, Theor. Comput. Sci..

[18]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[19]  Jan Van den Bussche,et al.  Polymorphic type inference for the named nested relational calculus , 2007, TOCL.

[20]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[21]  Jérôme Vouillon.  Polymorphic regular tree types and patterns , 2006, POPL '06.

[22]  Philip A. Bernstein,et al.  Implementing mapping composition , 2007, The VLDB Journal.

[23]  Ronald Fagin,et al.  Translating Web Data , 2002, VLDB.

[24]  Marcelo Arenas,et al.  The recovery of a schema mapping: bringing exchanged data back , 2008, TODS.

[25]  Philip A. Bernstein,et al.  Incremental schema matching , 2006, VLDB.

[26]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[27]  Andrew B. Whinston,et al.  Model management , 1994 .

[28]  Paolo Papotti,et al.  Nested mappings: schema mapping reloaded , 2006, VLDB.

[29]  Ronald Fagin,et al.  Composing schema mappings: second-order dependencies to the rescue , 2004, PODS '04.

[30]  Jan Van den Bussche,et al.  Type inference in the polymorphic relational algebra , 1999, PODS '99.

[31]  Laura M. Haas,et al.  Clio grows up: from research prototype to industrial tool , 2005, SIGMOD '05.

[32]  Benjamin C. Pierce,et al.  XDuce: A statically typed XML processing language , 2003, TOIT.

[33]  AnHai Doan,et al.  Corpus-based schema matching , 2005, 21st International Conference on Data Engineering (ICDE'05).

[34]  Michael J. Carey,et al.  XQSE: An XQuery Scripting Extension for the AquaLogic Data Services Platform , 2008, 2008 IEEE 24th International Conference on Data Engineering.