Efficient Integrity Checking over XML Documents

  • Daniele Braga
  • Alessandro Campi
  • Davide Martinenghi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4254)


The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. This problem is addressed here by adapting to the XML data model some constraint verification techniques known in the context of deductive databases. Our approach allows the declarative specification of constraints as well as their optimization w.r.t. given update patterns. Such optimized constraints are automatically translated into equivalent XQuery expressions in order to avoid illegal updates. This automatic process guarantees an efficient integrity checking that combines the advantages of declarativity with incrementality and early detection of inconsistencies.


Integrity Constraint Database State Deductive Database Path Expression Integrity Check 
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.
    Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. ACM Trans. Database Syst. 29(4), 710–751 (2004)CrossRefGoogle Scholar
  2. 2.
    Benedikt, M., Bruns, G., Gibson, J., Kuss, R., Ng, A.: Automated Update Management for XML Integrity Constraints. In: Inf. Proc. of PLAN-X Workshop (2002)Google Scholar
  3. 3.
    Bohannon, P., Freire, J., Roy, P., Siméon, J.: From XML schema to relations: A cost-based approach to XML storage. In: ICDE, pp. 64–75 (2002)Google Scholar
  4. 4.
    Chen, Y., Davidson, S.B., Zheng, Y.: Xkvalidator: a constraint validator for XML. In: CIKM, pp. 446–452. ACM Press, New York (2002)Google Scholar
  5. 5.
    Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamenta Informaticae 71(4), 371–417 (2006)MATHMathSciNetGoogle Scholar
  6. 6.
    Deutsch, A., Fernandez, M., Suciu, D.: Storing semi-struct-ured data with STORED. In: SIGMOD, pp. 431–442 (1999)Google Scholar
  7. 7.
    Dong, G., Su, J.: Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record 29(1), 44–51 (2000)CrossRefGoogle Scholar
  8. 8.
    eXist. Open source native xml database,
  9. 9.
    Fan, W., Kuper, G.M., Siméon, J.: A unified constraint model for XML. Computer Networks 39(5), 489–505 (2002)CrossRefGoogle Scholar
  10. 10.
    Florescu, D., Kossman, D.: Storing and Querying XML Data using an RDMBS. IEEE Data Eng. Bull. 22(3), 27–34 (1999)Google Scholar
  11. 11.
    Gupta, A., Mumick, I.S. (eds.): Materialized views: techniques, implementations, and applications. MIT Press, Cambridge (1999)Google Scholar
  12. 12.
    Krishnamurthy, R., Kaushik, R., Naughton, J.: XML-SQL query translation literature: The state of the art and open problems. In: XSym, pp. 1–18 (2003)Google Scholar
  13. 13.
    Laux, A., Matin, L.: XUpdate working draft. Technical report (2000),
  14. 14.
    Levy, A., Sagiv, Y.: Constraints and redundancy in datalog. In: PODS, New York, NY, USA, pp. 67–80 (1992)Google Scholar
  15. 15.
    Ley, M.: Digital Bibliography & Library Project,
  16. 16.
    Martinenghi, D.: Simplification of integrity constraints with aggregates and arithmetic built-ins. In: Flexible Query-Answering Systems, pp. 348–361 (2004)Google Scholar
  17. 17.
    Martinenghi, D.: A simplification procedure for integrity constraints (2004),
  18. 18.
    May, W.: XPath-Logic and XPathLog: a logic-programming-style XML data manipulation language. TPLP 4(3), 239–287 (2004)MATHGoogle Scholar
  19. 19.
    Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: ER Workshops, pp. 62–73 (1999)Google Scholar
  20. 20.
    Neven, F., Schwentick, T.: XPath containment in the Presence of Disjunction, DTDs, and Variables. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 312–326. Springer, Heidelberg (2002)Google Scholar
  21. 21.
    Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227–253 (1982)MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Sawires, A., Tatemura, J., Po, O., Agrawal, D., Candan, K.S.: Incremental maintenance of path expression views. In: SIGMOD (2005)Google Scholar
  23. 23.
    Schwentick, T.: XPath query containment. SIGMOD Record 33(1), 101–109 (2004)CrossRefMathSciNetGoogle Scholar
  24. 24.
    Segoufin, L., Vianu, V.: Validating Streaming XML Documents. In: PODS, pp. 53–64 (2002)Google Scholar
  25. 25.
    Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D., Naughton, J.: Relational Databases for Querying XML Documents: Limitations and Opportunities. In: VLDB, pp. 302–314 (1999)Google Scholar
  26. 26.
    Suciu, D.: Query Decomposition and View Maintenance for Query Languages for Unstructured Data. In: VLDB, pp. 227–238 (1996)Google Scholar
  27. 27.
    Tatarinov, I., Ives, Z.G., Halevy, A.Y., Weld, D.S.: Updating XML. In: SIGMOD (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Daniele Braga
    • 1
  • Alessandro Campi
    • 1
  • Davide Martinenghi
    • 2
  1. 1.Dip. di Elettronica e InformazionePolitecnico di MilanoMilanoItaly
  2. 2.Faculty of Computer ScienceFree University of Bozen/BolzanoBolzanoItaly

Personalised recommendations