Mostra el registre d'ítem simple
A schema-only approach to validate XML schema mappings
dc.contributor.author | Rull Fort, Guillem |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Urpí Tubella, Antoni |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2010-03-22T10:13:46Z |
dc.date.available | 2010-03-22T10:13:46Z |
dc.date.issued | 2010-03-19 |
dc.identifier.uri | http://hdl.handle.net/2117/6738 |
dc.description.abstract | Since the emergence of the Web, the ability to map XML data between different data sources has become crucial. Defining a mapping is however not a fully automatic process. The designer needs to figure out whether the mapping is what was intended. Our approach to this validation consists of defining and checking certain desirable properties of mappings. We translate the XML schemas and the mapping into first-order logic formalism and apply a reasoning mechanism to check the desirable properties automatically, without assuming any particular instantiation of the schemas. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | ESSI-TR-10-3 |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject.lcsh | XML |
dc.title | A schema-only approach to validate XML schema mappings |
dc.type | External research report |
dc.subject.lemac | XML (Llenguatge de marques) |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.rights.access | Open Access |
local.identifier.drac | 2197826 |
dc.description.version | Preprint |
local.personalitzacitacio | true |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [154]
-
Reports de recerca [46]
-
Reports de recerca [1.107]