Checking Functional Dependency Satisfaction in XML

  • Millist W. Vincent
  • Jixue Liu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3671)


Recently, the issue of functional dependencies in XML (XFDs) have been investigated. In this paper we consider the problem of checking the satisfaction of an XFD in an XML document. We present an efficient algorithm for the problem that is linear in the size of the XML document and linear in the number of XFDs to be checked. Also, our technique can be easily extended to efficiently incrementally check XFD satisfaction.


Hash Table Integrity Constraint Semistructured Data Relevant Node Multivalued Dependency 
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.
    Arenas, M., Libkin, L.: A normal form for XML documents. In: Proc. ACM PODS Conference, pp. 85–96 (2002)Google Scholar
  2. 2.
    Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. In: Proc. ACM PODS Conference, pp. 15–26 (2003)Google Scholar
  3. 3.
    Arenas, M., Libkin, L.: A normal form for XML documents. TODS 29(1), 195–232 (2004)CrossRefGoogle Scholar
  4. 4.
    Atzeni, P., DeAntonellis, V.: Foundations of databases. Benjamin Cummings (1993)Google Scholar
  5. 5.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible markup language (XML) 1.0. Technical report (1998),
  6. 6.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Information Systems 28(8), 1037–1063 (2003)CrossRefGoogle Scholar
  7. 7.
    Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and XML. ACM SIGMOD Record 30(1), 45–47 (2001)CrossRefGoogle Scholar
  8. 8.
    Buneman, P., Fan, W., Weinstein, S.: Path constraints on structured and semistructured data. In: Proc. ACM PODS Conference, pp. 129–138 (1998)Google Scholar
  9. 9.
    Chen, Y., Davidson, S., Zheng, Y.: Xkvalidator: a constraint validator for xml. In: CIKM, pp. 446–452 (2002)Google Scholar
  10. 10.
    Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. Journal of the ACM 49(3), 368–406 (2002)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Fan, W., Simeon, J.: Integrity constraints for XML. Journal of Computer and System Sciences 66(1), 254–291 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Vincent, M.W., Liu, J.: Multivalued dependencies and a 4NF for XML. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 14–29. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  13. 13.
    Vincent, M.W., Liu, J., Liu, C.: Multivalued dependencies and a redundancy free 4NF for XML. In: International XML database symposium (Xsym). Lecture Notes in Computer Science, vol. 2824, pp. 254–266. Springer, Heidelberg (2003)Google Scholar
  14. 14.
    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), 445–462 (2004)CrossRefGoogle Scholar
  15. 15.
    Vincent, M.W., Liu, J., Liu, C., Mohania, M.: On the definition of functional dependencies in XML. In: Submitted to ACM Transactions on Internet Technology (2004)Google Scholar
  16. 16.
    Widom, J.: Data management for XML - research directions. IEEE data Engineering Bulletin 22(3), 44–52 (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Millist W. Vincent
    • 1
  • Jixue Liu
    • 1
  1. 1.School of Computer and Information ScienceUniversity of South Australia 

Personalised recommendations