M. Benedikt & J. Cheney (2009):
Semantics, Types and Effects for XML Updates.
In: DBPL '09: Proceedings of the 12th International Symposium on Database Programming Languages.
Springer-Verlag,
Berlin, Heidelberg,
pp. 1–17,
doi:10.1007/978-3-642-03793-1_1.
I. Boneva, A-C Caron, B. Groz, Y. Roos, S. Tison & S. Staworko (2011):
View update translation for XML.
In: ICDT,
pp. 42–53,
doi:10.1145/1938551.1938560.
A. Brüggemann-Klein, M. Murata & D. Wood (2001):
Regular Tree and Regular Hedge Languages over Unranked Alphabets: Version 1.
F. Cavalieri, G. Guerrini & M. Mesiti (2011):
Updating XML Schemas and Associated Documents through Exup.
In: Proc. of the 27th International Conference on Data Engineering,
pp. 1320–1323,
doi:10.1109/ICDE.2011.5767951.
J. Clark & M. Murata (2001):
RELAX NG Specification.
http://www.relaxng.org/spec-20011203.html.
H. Comon, M. Dauchet, R. Gilleron, C. Löding, F. Jacquemard, D. Lugiez, S. Tison & M. Tommasi (2007):
Tree Automata Techniques and Applications.
Available on: http://www.grappa.univ-lille3.fr/tata.
Release October, 12th 2007.
D. Chamberlin and M. Dyck and D. Florescu and J. Melton and J. Robie and J. Siméon (2009):
XQuery Update Facility 1.0.
http://www.w3.org/TR/2009/CR-xquery-update-10-20090609/.
P. Geneves, N. Layaiada & V. Quint (2011):
Impact of XML Schema Evolution.
ACM Trans. Internet Technol. 11(1),
doi:10.1145/1993083.1993087.
G. Guerrini, M. Mesiti & M. Sorrenti (2007):
XML Schema Evolution: Incremental Validation and Efficient Document Adaptation.
In: Database and XML Technologies, 5th International XML Database Symposium,
pp. 92–106,
doi:10.1007/978-3-540-75288-2_8.
J. Clark and S. DeRose (1999):
XML Path Language (XPath) V1.0.
http://www.w3.org/TR/xpath/.
F. Jacquemard & M. Rusinowitch (2010):
Rewrite-based verification of XML updates.
In: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming.
ACM,
pp. 119–130,
doi:10.1145/1836089.1836105.
S. Maneth, A. Berlea, T. Perst & H. Seidl (2005):
XML type checking with macro tree transducers.
In: PODS,
pp. 283–294,
doi:10.1145/1065167.1065203.
M. Murata (1997):
DTD Transformation by Patterns and Contextual Conditions.
In: Proc. SGML/XML 97,
pp. 325–332.
M. Murata (1997):
Transformation of Documents and Schemas by Patterns and Contextual Conditions.
In: PODP '96: Proceedings of the Third International Workshop on Principles of Document Processing.
Springer-Verlag,
London, UK,
pp. 153–169,
doi:10.1007/3-540-63620-X_61.
M. Murata, D. Lee, M. Mani & K. Kawaguchi (2005):
Taxonomy of XML schema languages using formal language theory.
ACM Trans. Internet Technol. 5(4),
pp. 660–704,
doi:10.1145/1111627.1111631.
P. Walmsley and D.C. Fallside (2004):
XML Schema Part 0: Primer Second Edition.
http://www.w3.org/TR/2004/REC-xmlschema-0-20041028/.
M. Raghavachari & O. Shmueli (2007):
Efficient Revalidation of XML Documents.
IEEE Trans. Knowl. Data Eng. 19(4),
pp. 554–567,
doi:10.1109/TKDE.2007.1004.
A. Solimando, G. Delzanno & G. Guerrini (2011):
Static Analysis of XML Document Adaptations through Hedge Automata.
Technical Report DISI-TR-11-08.
DISI, University of Genova.
T. Touili (2012):
Computing Transitive Closures of Hedge Transformations.
Int. Journal of Critical Computer-Based Systems 3,
pp. 132–150,
doi:10.1504/IJCCBS.2012.045079.
E. van der Vlist (2003):
RELAX NG.
http://books.xmlschemata.org/relaxng/page2.html.
eptcs@eptcs.org