A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7600)


This paper extends our previous work by showing our grammarware as a generic way for validating XML integrity constraints, both from scratch and incrementally during document updates. Indeed, our generic attribute grammar can stand for any XML constraint validator, provided that the constraint is defined with paths. We specify a common definition framework for seven classes of XML integrity constraints, we recall the validation principles, we detail the incremental validation under multiple updates, and we report on experimental results, focusing on the case of XML Functional Dependencies (XFD).


Hash Table Integrity Constraint Incremental Validation Semantic Rule Attribute Grammar 
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.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing Company (1995)Google Scholar
  2. 2.
    Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley (1988)Google Scholar
  3. 3.
    Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS) 29(1) (2004)Google Scholar
  4. 4.
    Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated update management for XML integrity constraints. In: Program Language Technologies for XML, PLANX 2002 (2002)Google Scholar
  5. 5.
    Michael, B., Angela, B., Sergio, F., Avinash, V.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P (2005)Google Scholar
  6. 6.
    Bouchou, B., Cheriat, A., Halfeld Ferrari, M., Laurent, D., Adriana, M., Lima, V., Musicante, M.: Efficient constraint validation for updated XML databases. Informatica 31(3), 285–310 (2007)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Bouchou, B., Halfeld Ferrari, M., Adriana, M., Lima, V.: Contraintes d’intégrité pour XML. visite guidée par une syntaxe homogène. Technique et Science Informatiques 28(3), 331–364 (2009)CrossRefGoogle Scholar
  8. 8.
    Bouchou, B., Halfeld Ferrari, M., Lima, M.A.V.: Attribute Grammar for XML Integrity Constraint Validation. In: Hameurlain, A., Liddle, S.W., Schewe, K.-D., Zhou, X. (eds.) DEXA 2011, Part I. LNCS, vol. 6860, pp. 94–109. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Keys for XML. In: WWW 2001, May 2-5 (2001)Google Scholar
  10. 10.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Reasoning about keys for XML. Information Systems 28(8) (2003)Google Scholar
  11. 11.
    Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and XML. SIGMOD Record 30(1) (2001)Google Scholar
  12. 12.
    Chen, Y., Davidson, S., Zheng, Y.: XKvalidator: A constraint validator for XML. In: Proceedings of ACM Conference on Information and Knowledge Management (2002)Google Scholar
  13. 13.
    Fan, W.: XML contraints: Specification, analysis, and applications (invited talk). In: LAIC (2005)Google Scholar
  14. 14.
    Gire, F., Idabal, H.: Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. In: EDBT/ICDT Workshops (2010)Google Scholar
  15. 15.
    Halfeld Ferrari, M.: Les aspects dynamiques de XML spécification des interfaces de services web avec PEWS. Habilitation à Diriger Des Recherches, Université François Rabelais de Tours (2007)Google Scholar
  16. 16.
    Hartmann, S., Link, S., Trinh, T.: Solving the Implication Problem for XML Functional Dependencies with Properties. In: Dawar, A., de Queiroz, R. (eds.) WoLLIC 2010. LNCS, vol. 6188, pp. 161–175. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Hartmann, S., Trinh, T.: Axiomatising Functional Dependencies for XML with Frequencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 159–178. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. 18.
    Hartmann, S., Link, S.: Numerical constraints on XML data. Inf. Comput. 208(5), 521–544 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    Li Lee, M., Ling, T.-W., Low, W.L.: Designing Functional Dependencies for XML. In: Jensen, C.S., Jeffery, K., Pokorný, J., Šaltenis, S., Bertino, E., Böhm, K., Jarke, M. (eds.) EDBT 2002. LNCS, vol. 2287, pp. 124–141. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  20. 20.
    Liu, J., Vincent, M.W., Liu, C.: Functional Dependencies, from Relational to XML. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 531–538. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    Neven, F.: Extensions of attribute grammars for structured document queries. In: Proceedings of International Workshop on Database Programming Languages (1999)Google Scholar
  22. 22.
    Shahriar, M.S., Liu, J.: On the performances of checking XML key and functional dependency satisfactions. In: OTM Conferences, vol. (2), pp. 1254–1271 (2009)Google Scholar
  23. 23.
    Sur, G.M., Hammer, J., Simeon, J.: An XQuery-based language for processing updates in XML. In: PLAN-X - Programming Language Technologies for XML a Workshop Colocated with POPL 2004 (2004)Google Scholar
  24. 24.
    Vincent, M.W., Liu, J.: Checking Functional Dependency Satisfaction in XML. In: Bressan, S., Ceri, S., Hunt, E., Ives, Z.G., Bellahsène, Z., Rys, M., Unland, R. (eds.) XSym 2005. LNCS, vol. 3671, pp. 4–17. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Vincent, M.W., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM Transactions on Database Systems 29(3) (2004)Google Scholar
  26. 26.
    Wang, J., Topor, R.: Removing XML data redundancies using functional and equality-generating dependencies. In: Proceedings of the 16th Australasian Database Conference (2005)Google Scholar
  27. 27.
    Zhao, X., Xin, J., Zhang, E.: XML functional dependency and schema normalization. In: Proceedings of the 9th International Conference on Hybrid Intelligent Systems, HIS 2009, pp. 307–312 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Laboratoire d’InformatiqueUniversité François Rabelais ToursFrance
  2. 2.LIFO - Université d’Orléans, OrléansFrance
  3. 3.Faculdade de ComputaçäoUniversidade Federal de UberlândiaBrazil

Personalised recommendations