Efficient Schema-Based Revalidation of XML

  • Mukund Raghavachari
  • Oded Shmueli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2992)


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.


Content Model Incremental Validation State Automaton Label Tree Tree Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alagic, S., Briggs, D.: Semantics of objectified XML. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol. 2921, pp. 147–165. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Apache Software Foundation. Xerces2 Java Parser,
  3. 3.
    Barbosa, D., Mendelzon, A., Libkin, L., Mignet, L., Arenas, M.: Efficent incremental validation of XML documents. In: Proceedings of ICDE (2004) (to appear)Google Scholar
  4. 4.
    Benzaken, V., Castagna, G., Frisch, A.: Cduce: an XML-centric general-purpose language. In: Proceedings of ICFP, pp. 51–63 (2003)Google Scholar
  5. 5.
    Bouchou, B., Halfeld-Ferrari, M.: Updates and incremental validation of XML documents. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol. 2921, pp. 216–232. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Bruggemann-Klein, A., Wood, D.: One-unambiguous regular languages. Information and Computation 142(2), 182–206 (1998)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1989)Google Scholar
  8. 8.
    Galax: An implementation of XQuery,
  9. 9.
    Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration of XML processing into Java. Technical Report RC23007, IBM T.J. Watson Research Center (2003) (submitted for publication)Google Scholar
  10. 10.
    Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (2002)Google Scholar
  11. 11.
    Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of ICFP (2000)Google Scholar
  12. 12.
    Kane, B., Su, H., Rundensteiner, E.A.: Consistently updating XML documents using incremental constraint check queries. In: Proceedings of the Workshop on Web Information and Data Management (WIDM 2002), November 2002, pp. 1–8 (2002)Google Scholar
  13. 13.
    Kuper, G., Siméon, J.: Subsumption for XML types. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, p. 331. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of PODS, pp. 11–22. ACM, New York (2000)Google Scholar
  15. 15.
    Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema languages using formal language theory. In: Extreme Markup Languages, Montreal, Canada (2001)Google Scholar
  16. 16.
    Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: Proceedings of PODS, pp. 35–46. ACM, New York (2000)Google Scholar
  17. 17.
    Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 47–63. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  18. 18.
    Siméon, J., Wadler, P.: The essence of XML. In: Proceedings of POPL, January 2003, pp. 1–13. ACM Press, New York (2003)Google Scholar
  19. 19.
    World Wide Web Consortium. Document Object Model Level 2 Core (November 2000)Google Scholar
  20. 20.
    World Wide Web Consortium. XQuery 1.0: An XML Query Language (November 2000)Google Scholar
  21. 21.
    World Wide Web Consortium. XML Schema, Parts 0,1, and 2 (May 2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Mukund Raghavachari
    • 1
  • Oded Shmueli
    • 2
  1. 1.IBM T.J. Watson Research CenterYorktown HeightsUSA
  2. 2.Technion – Israel Institute of TechnologyHaifaIsrael

Personalised recommendations