Incremental Constraint Checking for XML Documents

  • Maria Adriana Abrão
  • Béatrice Bouchou
  • Mírian Halfeld Ferrari
  • Dominique Laurent
  • Martin A. Musicante
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3186)


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.


Output Function Target Node Integrity Constraint Incremental Validation Data Node 
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.
    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)Google Scholar
  2. 2.
    Arenas, M., Fan, W., Libkin, L.: On verifying consistency of XML specifications. In: ACM Symposium on Principles of Database System (2002)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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. CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. In: WWW10, May 2-5 (2001)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Chidlovskii, B.: Using regular tree automata as XML schemas. In: Proc. IEEE Advances in Digital Libraries Conference (May 2000)Google Scholar
  11. 11.
    Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM 49(3), 368–406 (2002)CrossRefMathSciNetGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory Languages and Computation, 2nd edn. Addison-Wesley Publishing Company, Reading (2001)zbMATHGoogle Scholar
  14. 14.
    Means, W.S., Bodie, M.A.: The Book of SAX: The Simple API for XML. No Starch Press (2002)Google Scholar
  15. 15.
    Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: ACM Symposium on Principles of Database System, pp. 11–22 (2000)Google Scholar
  16. 16.
    Murata, M., Lee, D., Mani, M.: Taxonomy of XML schema language using formal language theory. Extreme Markup Language, Montreal, Canada (2001)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 (2003)CrossRefGoogle Scholar
  18. 18.
    Segoufin, L., Vianu, V.: Validating streaming XML documents. In: ACM Symposium on Principles of Database System (2002)Google Scholar
  19. 19.
    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),

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Maria Adriana Abrão
    • 1
  • Béatrice Bouchou
    • 1
  • Mírian Halfeld Ferrari
    • 1
  • Dominique Laurent
    • 2
  • Martin A. Musicante
    • 3
  1. 1.Université François Rabelais LI/Antenne de BloisFrance
  2. 2.Université de Cergy-Pontoise LIPCFrance
  3. 3.Departamento de InformáticaUniversidade Federal do ParanáBrazil

Personalised recommendations