Validation of schema mappings with nested queries

With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. A human designer is needed to guide the process, choose among mapping candidate...

Descripción completa

Detalles Bibliográficos
Autores: Rull Fort, Guillem, Farré Tost, Carles|||0000-0001-5814-3782, Teniente López, Ernest|||0000-0001-8890-9638, Urpí Tubella, Antoni|||0000-0002-5900-1492
Tipo de recurso: informe técnico
Fecha de publicación:2012
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/16746
Acceso en línea:https://hdl.handle.net/2117/16746
Access Level:acceso abierto
Palabra clave:Schema mapping
Nested relational model
Nested query
Query equality
Query inclusion
Validation
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Descripción
Sumario:With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. A human designer is needed to guide the process, choose among mapping candidates, and successively refine the mapping. The designer needs a way to figure out whether the mapping is what was intended. Our approach to mapping validation allows the designer to check whether the mapping satisfies certain desirable properties. In this paper, we focus on the validation of mappings between nested relational schemas, in which the mapping assertions are either inclusions or equalities of nested queries. We focus on the nested relational setting since most XML’s Document Type Definitions (DTDs) can be represented in this model. We perform the validation by reasoning on the schemas and mapping definition. We take into account the integrity constraints defined on both the source and target schema.