Skip to main content
SpringerLink
Log in
Book cover

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI pp 167–197Cite as

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

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((TLDKS,volume 7600))

Abstract

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).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Publishing Company (1995)

    Google Scholar 

  2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley (1988)

    Google Scholar 

  3. Arenas, M., Libkin, L.: A normal form for XML documents. ACM Transactions on Database Systems (TODS) 29(1) (2004)

    Google Scholar 

  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. Michael, B., Angela, B., Sergio, F., Avinash, V.: Adding updates to XQuery: Semantics, optimization, and static analysis. In: XIME-P (2005)

    Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.C.: Reasoning about keys for XML. Information Systems 28(8) (2003)

    Google Scholar 

  11. Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and XML. SIGMOD Record 30(1) (2001)

    Google Scholar 

  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. Fan, W.: XML contraints: Specification, analysis, and applications (invited talk). In: LAIC (2005)

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  18. Hartmann, S., Link, S.: Numerical constraints on XML data. Inf. Comput. 208(5), 521–544 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  21. Neven, F.: Extensions of attribute grammars for structured document queries. In: Proceedings of International Workshop on Database Programming Languages (1999)

    Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Informatique, Université François Rabelais Tours, France

    Béatrice Bouchou

  2. LIFO - Université d’Orléans, Orléans, France

    Mirian Halfeld-Ferrari

  3. Faculdade de Computaçäo, Universidade Federal de Uberlândia, MG, Brazil

    Maria Adriana Vidigal Lima

Authors
  1. Béatrice Bouchou
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mirian Halfeld-Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria Adriana Vidigal Lima
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse (IRIT), Paul Sabatier University, 118 route de Narbonne, 31062, Toulouse Cedex, France

    Abdelkader Hameurlain

  2. FAW - Institute for Applied Knowledge Processing, University of Linz, Altenbergerstraße 69, 4040, Linz, Austria

    Josef Küng

  3. FAW, University of Linz, Altenbergerstraße 69, 4040, Linz, Austria

    Roland Wagner

  4. Marriott School, Brigham Young University, 784 TNRB, 84602, Provo, UT, USA

    Stephen W. Liddle

  5. Software Competence Center Hagenberg, Softwarepark 21, 4232, Hagenberg, Austria

    Klaus-Dieter Schewe

  6. School of Information Technology and Electrical Engineering, University of Queensland, 4072, Brisbane, QLD, Australia

    Xiaofang Zhou

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bouchou, B., Halfeld-Ferrari, M., Lima, M.A.V. (2012). A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates. In: Hameurlain, A., Küng, J., Wagner, R., Liddle, S.W., Schewe, KD., Zhou, X. (eds) Transactions on Large-Scale Data- and Knowledge-Centered Systems VI. Lecture Notes in Computer Science, vol 7600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34179-3_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34179-3_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34178-6

  • Online ISBN: 978-3-642-34179-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation