Loading...
Loading...

Go to the content (press return)

A schema-only approach to validate XML schema mappings

Author
Rull, G.; Farré, C.; Teniente, E.; Urpi, T.
Type of activity
Report
Date
2010-03-19
Code
ESSI-TR-10-3
Repository
http://hdl.handle.net/2117/6738 Open in new window
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 a...
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments