Efficient Schema-Based Revalidation of XML

As XML schemas evolve over time or as applications are integrated, it is sometimes necessary to validate an XML document known to conform to one schema with respect to another schema. More generally, XML documents known to conform to a schema may be modified, and then, require validation with respect to another schema. Recently, solutions have been proposed for incremental validation of XML documents. These solutions assume that the initial schema to which a document conforms and the final schema with which it must be validated after modifications are the same. Moreover, they assume that the input document may be preprocessed, which in certain situations, may be computationally and memory intensive. In this paper, we describe how knowledge of conformance to an XML Schema (or DTD) may be used to determine conformance to another XML Schema (or DTD) efficiently. We examine both the situation where an XML document is modified before it is to be revalidated and the situation where it is unmodified.

[1]  Philip Wadler,et al.  The essence of XML , 2003, POPL '03.

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

[3]  David Briggs,et al.  Semantics of Objectified XML Constraints , 2003, DBPL.

[4]  Giuseppe Castagna,et al.  CDuce: an XML-centric general-purpose language , 2003, ACM SIGPLAN Notices.

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

[6]  Dan Suciu,et al.  Typechecking for XML transformers , 2000, J. Comput. Syst. Sci..

[7]  Denilson Barbosa,et al.  Efficient incremental validation of XML documents , 2004, Proceedings. 20th International Conference on Data Engineering.

[8]  Benjamin C. Pierce,et al.  Regular expression types for XML , 2000, TOPL.

[9]  Gabriel M. Kuper,et al.  Subsumption for XML types , 2001, ICDT.

[10]  Béatrice Bouchou-Markhoff,et al.  Updates and Incremental Validation of XML Documents , 2003, DBPL.

[11]  Murali Mani,et al.  Taxonomy of XML schema languages using formal language theory , 2005, TOIT.

[12]  Benjamin C. Pierce,et al.  XDuce: A Typed XML Processing Language (Preliminary Report) , 2000, WebDB.

[13]  Yannis Papakonstantinou,et al.  Incremental validation of XML documents , 2003, TODS.

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

[15]  Benjamin C. Pierce,et al.  XDuce: A statically typed XML processing language , 2003, TOIT.

[16]  Rajesh Bordawekar,et al.  XJ: integration of XML processing into java , 2004, WWW Alt. '04.