Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Apache Software Foundation. Xerces2 Java Parser, http://xml.apache.org/
Barbosa, D., Mendelzon, A., Libkin, L., Mignet, L., Arenas, M.: Efficent incremental validation of XML documents. In: Proceedings of ICDE (2004) (to appear)
Benzaken, V., Castagna, G., Frisch, A.: Cduce: an XML-centric general-purpose language. In: Proceedings of ICFP, pp. 51–63 (2003)
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)
Bruggemann-Klein, A., Wood, D.: One-unambiguous regular languages. Information and Computation 142(2), 182–206 (1998)
Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (1989)
Galax: An implementation of XQuery, http://db.bell-labs.com/galax
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)
Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (2002)
Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of ICFP (2000)
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)
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)
Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of PODS, pp. 11–22. ACM, New York (2000)
Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema languages using formal language theory. In: Extreme Markup Languages, Montreal, Canada (2001)
Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: Proceedings of PODS, pp. 35–46. ACM, New York (2000)
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)
Siméon, J., Wadler, P.: The essence of XML. In: Proceedings of POPL, January 2003, pp. 1–13. ACM Press, New York (2003)
World Wide Web Consortium. Document Object Model Level 2 Core (November 2000)
World Wide Web Consortium. XQuery 1.0: An XML Query Language (November 2000)
World Wide Web Consortium. XML Schema, Parts 0,1, and 2 (May 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Raghavachari, M., Shmueli, O. (2004). Efficient Schema-Based Revalidation of XML. In: Bertino, E., et al. Advances in Database Technology - EDBT 2004. EDBT 2004. Lecture Notes in Computer Science, vol 2992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24741-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-24741-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21200-3
Online ISBN: 978-3-540-24741-8
eBook Packages: Springer Book Archive