Geodesic
Validation of Schema Mappings with Nested Queries
Computer Science and Information Systems, Tome 10 (2013) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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. We consider constraints and mapping’s queries which may contain arithmetic comparisons and negations. This class of mapping scenarios is significantly more expressive than the ones addressed by previous work on nested relational mapping validation. We encode the given mapping scenario into a single flat database schema, so we can take advantage of our previous work on validating flat relational mappings, and reformulate each desirable property check as a query satisfiability problem.
Keywords: schema mapping, nested relational model, nested query, query equality, query inclusion, validation 
@article{CSIS_2013_10_1_a6,
     author = {Guillem Rull and Carles Farr\'e and Ernest Teniente and Toni Urp{\'\i}},
     title = {Validation of {Schema} {Mappings} with {Nested} {Queries}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2013},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a6/}
}
TY  - JOUR
AU  - Guillem Rull
AU  - Carles Farré
AU  - Ernest Teniente
AU  - Toni Urpí
TI  - Validation of Schema Mappings with Nested Queries
JO  - Computer Science and Information Systems
PY  - 2013
VL  - 10
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a6/
ID  - CSIS_2013_10_1_a6
ER  - 
%0 Journal Article
%A Guillem Rull
%A Carles Farré
%A Ernest Teniente
%A Toni Urpí
%T Validation of Schema Mappings with Nested Queries
%J Computer Science and Information Systems
%D 2013
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a6/
%F CSIS_2013_10_1_a6
Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí. Validation of Schema Mappings with Nested Queries. Computer Science and Information Systems, Tome 10 (2013) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2013_10_1_a6/