XML Schema Mappings Using Schema Constraints and Skolem Functions

A schema mapping is an executable specification describing transformation of data structured under different schemas. In this paper we discuss the problem of automatic generation of XML schema mappings using information provided by schemas and correspondences between schemas. Mappings are specified in a mapping language XDMap whose constructs are based on Skolem functions. We use Skolem functions with text-valued arguments from a source instance to create nodes in the target instance, and to specify functional dependencies between some values. First, using constraints defined within a schema, an algorithm produces the automapping representing this schema. Next, (auto)mappings can be combined by means of some operators delivering more general mappings between schemas provided that a correspondence between schemas is given. While a mapping is executed, some missing data can be inferred based on constraints encoded in the mapping specification.

[1]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

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

[3]  J W Ballard,et al.  Data on the web? , 1995, Science.

[4]  Tadeusz Pankowski,et al.  Specifying Schema Mappings for Query Reformulation in Data Integration Systems , 2005, AWIC.

[5]  Patrick E. O'Neil,et al.  ORDPATHs: insert-friendly XML node labels , 2004, SIGMOD '04.

[6]  Philip A. Bernstein,et al.  Composition of mappings given by embedded dependencies , 2005, PODS '05.

[7]  Wenfei Fan,et al.  Reasoning about keys for XML , 2003, Inf. Syst..

[8]  Dan Suciu,et al.  Catching the boat with Strudel: experiences with a Web-site management system , 1998, SIGMOD '98.

[9]  Tadeusz Pankowski,et al.  Data Merging in Life Science Data Integration Systems , 2005, Intelligent Information Systems.

[10]  Diego Calvanese,et al.  Logical foundations of peer-to-peer data integration , 2004, PODS '04.

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

[12]  Marcelo Arenas,et al.  XML data exchange: Consistency and query answering , 2008, J. ACM.

[13]  Erhard Rahm,et al.  Supporting executable mappings in model management , 2005, SIGMOD '05.

[14]  Marcelo Arenas,et al.  XML data exchange: consistency and query answering , 2005, PODS '05.

[15]  Tadeusz Pankowski,et al.  A High-Level Language for Specifying XML Data Transformations , 2004, ADBIS.

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

[17]  Tadeusz Pankowski,et al.  Integration of XML Data in Peer-to-Peer E-Commerce Applications , 2005, I3E.

[18]  Alon Y. Halevy,et al.  Efficient query reformulation in peer data management systems , 2004, SIGMOD '04.

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

[20]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[21]  Quanzhong Li,et al.  Indexing and Querying XML Data for Regular Path Expressions , 2001, VLDB.

[22]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[23]  Tadeusz Pankowski Management of Executable Schema Mappings for XML Data Exchange , 2006, EDBT Workshops.

[24]  Cong Yu,et al.  Constraint-based XML query rewriting for data integration , 2004, SIGMOD '04.

[25]  Tadeusz Pankowski,et al.  Schema- and Ontology-Based XML Data Exchange in Semantic E-Business Applications , 2006, BIS.

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