Show simple item record

dc.contributor.authorRull Fort, Guillem
dc.contributor.authorFarré Tost, Carles
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorUrpí Tubella, Antoni
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2010-03-22T10:13:46Z
dc.date.available2010-03-22T10:13:46Z
dc.date.issued2010-03-19
dc.identifier.urihttp://hdl.handle.net/2117/6738
dc.description.abstractSince 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.extent15 p.
dc.language.isoeng
dc.relation.ispartofseriesESSI-TR-10-3
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshXML
dc.titleA schema-only approach to validate XML schema mappings
dc.typeExternal research report
dc.subject.lemacXML (Llenguatge de marques)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.rights.accessOpen Access
local.identifier.drac2197826
dc.description.versionPreprint
local.personalitzacitaciotrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record