Automata-Based Static Analysis of XML Document Adaptation

The structure of an XML document can be optionally specified by means of XML Schema, thus enabling the exploitation of structural information for efficient document handling. Upon schema evolution, or when exchanging documents among different collections exploiting related but not identical schemas, the need may arise of adapting a document, known to be valid for a given schema S, to a target schema S0. The adaptation may require knowledge of the element semantics and cannot always be automatically derived. In this paper, the authors present an automata-based method for the static analysis of user-defined XML document adaptations, expressed as sequences of XQuery Update primitives.

Provided by: Creative Commons Topic: Software Date Added: Oct 2012 Format: PDF

Download Now

Find By Topic