Título:
|
A schema-only approach to validate XML schema mappings
|
Autor/a:
|
Rull Fort, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
Abstract:
|
Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping ishowever not a fully automatic process. The designer needs to figure out whether the mapping is what was intended. Our approach to thisvalidation consists of defining and checking certain desirable properties of mappings. We translate the XML schemas and the mapping intofirst-order logic formalism and apply a reasoning mechanism to check the desirable properties automatically, without assuming anyparticular instantiation of the schemas. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -XML -XML (Llenguatge de marques) |
Derechos:
|
|
Tipo de documento:
|
Artículo - Borrador Informe |
Compartir:
|
|