Technical Report Details
| Date |
18-8-2011 |
| Number |
DISI-TR-11-08 |
| Title |
XML Updates: basic techniques and extensions |
| Authors |
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini |
| Bibtex Entry |
|
| E-mail |
delzanno@disi.unige.it |
| Link |
http://www.disi.unige.it/person/DelzannoG/Papers/sdg.pdf |
| Abstract |
In the present work we propose a static analysis
framework for a subset of XQuery Update Facility ([17]) one of the most relevant update language, starting
from the proposal of a novel parallel rewriting semantic that have been used to build an algorithm capable to
recognize the language generated by the Post operation, that takes as its input the sequence of document update
operations and the automaton related to the original regular language. With this framework it is possible to test
a user-proposed sequence of document update operations thought to adapt the documents related to a schema
that have just been updated by a known sequence of schema update operations: the framework can statically
determine, working only with the automata related to the original and modified schema, if the document update
operation sequence will preserve the validity of the documents; if so, every document valid wrt the original
schema, after the application of the document update sequence will result in a new modified document valid
wrt the updated schema. This avoid the usually very expensive run-time revalidation of the set of involved
documents. |
|
|
 |
