Updates and Incremental Validation of XML Documents

We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the new document still conforms to the imposed constraints. Incremental validation of updates leads to significant savings on computing time when compared to brute-force validation of an updated document from scratch.

[1]  Yannis Papakonstantinou,et al.  DTD inference for views of XML data , 2000, PODS.

[2]  Derick Wood,et al.  One-Unambiguous Regular Languages , 1998, Inf. Comput..

[3]  Béatrice Bouchou-Markhoff,et al.  Tree Automata to Verify XML Key Constraints , 2003, WebDB.

[4]  Noga Alon,et al.  XML with data values: typechecking revisited , 2003, J. Comput. Syst. Sci..

[5]  Frank Neven,et al.  Automata, Logic, and XML , 2002, CSL.

[6]  Wenfei Fan,et al.  Keys for XML , 2002, Comput. Networks.

[7]  Yannis Papakonstantinou,et al.  Incremental Validation of XML Documents , 2003, ICDT.

[8]  Susan B. Davidson,et al.  On the updatability of XML views over relational databases , 2003, WebDB.

[9]  Paul Klint,et al.  Compiling language definitions: the ASF+SDF compiler , 2000, TOPL.

[10]  Béatrice Bouchou-Markhoff,et al.  Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints , 2003, ICEIS.

[11]  Elke A. Rundensteiner,et al.  Consistently updating XML documents using incremental constraint check queries , 2002, WIDM '02.

[12]  Serge Abiteboul,et al.  Detecting changes in XML documents , 2002, Proceedings 18th International Conference on Data Engineering.

[13]  Boris Chidlovskii,et al.  Using regular tree automata as XML schemas , 2000, Proceedings IEEE Advances in Digital Libraries 2000.

[14]  Dan Suciu,et al.  On database theory and XML , 2001, SGMD.

[15]  Journal of the Association for Computing Machinery , 1961, Nature.

[16]  Dan Suciu,et al.  Typechecking for XML transformers , 2000, PODS '00.

[17]  Kuo-Chung Tai,et al.  The Tree-to-Tree Correction Problem , 1979, JACM.

[18]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[19]  Alon Y. Halevy,et al.  Updating XML , 2001, SIGMOD '01.