Abstract
We introduce a method for building an XML constraint validator from a given set of schema, key and foreign key constraints. The XML constraint validator obtained by our method is a bottom-up tree transducer that is used not only for checking, in only one pass, the correctness of an XML document but also for incrementally validating updates over this document. In this way, both the verification from scratch and the update verification are based on regular (finite and tree) automata, making the whole process efficient.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abrao, M.A., Bouchou, B., Halfeld-Ferrari, M., Laurent, D., Musicante, M.A.: Update validation for XML in the presence of schema, key and foreign key constraints. Technical report, Université François Rabelais Blois-Tours-Chinon (2004) (to appear)
Arenas, M., Fan, W., Libkin, L.: On verifying consistency of XML specifications. In: ACM Symposium on Principles of Database System (2002)
Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Programming Language Technologies for XML, PLANX 2002 (2002)
Benedikt, M., Chan, C.-Y., Fan, W., Freire, J., Rastogi, R.: Capturing both types and constraints in data integration. In: SIGMOD, San Diego, CA, ACM Press (ed.) (2003)
B. Bouchou and M. Halfeld Ferrari Alves. Updates and incremental validation of XML documents. In Springer, editor, The 9th International Workshop on Database Programming Languages (DBPL), number 2921 in LNCS, 2003.
Bouchou, B., Halfeld Ferrari Alves, M., Musicante, M.A.: Tree automata to verify key constraints. In: Web and Databases (WebDB), San Diego, CA, USA (June 2003)
van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling rewrite systems: The ASF+SDF compiler. ACM, Transactions on Programming Languages and Systems 24 (2002)
Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. In: WWW10, May 2-5 (2001)
Chen, Y., Davidson, S.B., Zheng, Y.: XKvalidator: a constraint validator for XML. In: Proceedings of the 11th International Conference on Information and Knowledge Management, pp. 446–452, ACM Press (ed.) (2002)
Chidlovskii, B.: Using regular tree automata as XML schemas. In: Proc. IEEE Advances in Digital Libraries Conference (May 2000)
Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM 49(3), 368–406 (2002)
Gargi, G.M., Hammer, J., Simeon, J.: An XQuery-based language for processing updates in XML. In: Programming Language Technologies for XML, PLANX 2004 (2004)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory Languages and Computation, 2nd edn. Addison-Wesley Publishing Company, Reading (2001)
Means, W.S., Bodie, M.A.: The Book of SAX: The Simple API for XML. No Starch Press (2002)
Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: ACM Symposium on Principles of Database System, pp. 11–22 (2000)
Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema language using formal language theory. Extreme Markup Language, Montreal, Canada (2001)
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 (2003)
Segoufin, L., Vianu, V.: Validating streaming XML documents. In: ACM Symposium on Principles of Database System (2002)
Wood, L., Le Hors, A., Apparao, V., Byrne, S., Champion, M., Issacs, S., Jacobs, I., Nicol, G., Robie, J., Sutor, R., Wilson, C.: Document Object Model (DOM) Level 1 Specification. W3C Recommendation (2000), http://www.w3.org/XML
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
Abrão, M.A., Bouchou, B., Ferrari, M.H., Laurent, D., Musicante, M.A. (2004). Incremental Constraint Checking for XML Documents. In: Bellahsène, Z., Milo, T., Rys, M., Suciu, D., Unland, R. (eds) Database and XML Technologies. XSym 2004. Lecture Notes in Computer Science, vol 3186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30081-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-30081-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22969-8
Online ISBN: 978-3-540-30081-6
eBook Packages: Springer Book Archive