Home | Search | Help  
Home Page Università di Genova

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.
Back to Technical Reports