Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
436034 | Theoretical Computer Science | 2014 | 18 Pages |
Abstract
We present an automata-based method for the static analysis of user-defined XML document adaptations, expressed as sequences of update primitives of XQuery Update. The key feature of the method is the use of an automatic inference algorithm for extracting the type, expressed as a Hedge Automaton, of a sequence of document updates. The type is computed starting from the original schema S and from rewriting rules that formally define the operational semantics of a sequence of document updates. Type inclusion can then be used as a conformance test w.r.t. the type extracted from the target schema S′S′.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini,