A schema-only approach to validate XML schema mappings

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/6738

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor	Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
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.date	2010-03-19
dc.identifier.uri	http://hdl.handle.net/2117/6738
dc.language.iso	eng
dc.relation	ESSI-TR-10-3
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject	XML
dc.subject	XML (Llenguatge de marques)
dc.title	A schema-only approach to validate XML schema mappings
dc.type	info:eu-repo/semantics/draft
dc.type	info:eu-repo/semantics/report
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 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.