A schema-only approach to validate XML schema mappings
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/6738
Tipus de documentReport de recerca
Data publicació2010-03-19
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Forma partESSI-TR-10-3
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
report-xml-mappings.pdf | 375,1Kb | Visualitza/Obre |