Characterization of the Interaction of XML Functional Dependencies with DTDs

  • Łucja Kot
  • Walker White
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4353)

Abstract

With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data integrity. XFDs are more complicated than relational functional dependencies because the set of XFDs satisfied by an XML document depends not only on the document values, but also the tree structure and corresponding DTD. In particular, constraints imposed by DTDs may alter the implications from a base set of XFDs, and may even be inconsistent with a set of XFDs. In this paper we examine the interaction between XFDs and DTDs. We present a sound and complete axiomatization for XFDs, both alone and in the presence of certain classes of DTDs; we show that these DTD classes induce an axiomatic hierarchy. We also give efficient implication algorithms for those classes of DTDs that do not use disjunction or nesting.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)MATHGoogle Scholar
  2. 2.
    Arenas, M.: Design Principles for XML Data. PhD thesis, University of Toronto (2005)Google Scholar
  3. 3.
    Arenas, M., Libkin, L.: A normal form for XML documents. ACM TODS 29(1), 195–232 (2004)CrossRefGoogle Scholar
  4. 4.
    Atzeni, P., Morfuni, N.: Functional dependencies and constraints on null values in database relations. Information and Control 70(1), 1–31 (1986)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Beeri, C., Bernstein, P.: Computational problems related to the design of normal form relational schemas. ACM TODS 4(1), 30–59 (1979)CrossRefGoogle Scholar
  6. 6.
    Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. In: Proc. PODS, pp. 25–36 (2005)Google Scholar
  7. 7.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Inf. Syst. 28(8), 1037–1063 (2003)CrossRefGoogle Scholar
  8. 8.
    Buneman, P., Fan, W., Weinstein, S.: Path constraints in semistructured and structured databases. In: Proc. PODS, pp. 129–138 (1998)Google Scholar
  9. 9.
    Deutsch, A., Tannen, V.: Containment and integrity constraints for XPath. In: KRDB (2001)Google Scholar
  10. 10.
    Fan, W.: XML constraints: Specification, analysis, and applications. In: Proc. DEXA, pp. 805–809 (2005)Google Scholar
  11. 11.
    Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. In: Proc. PODS (2001)Google Scholar
  12. 12.
    Hara, C., Davidson, S.: Reasoning about nested functional dependencies. In: Proc. PODS, pp. 91–100 (1999)Google Scholar
  13. 13.
    Hartmann, S., Link, S.: More functional dependencies for XML. In: ADBIS, pp. 355–369 (2003)Google Scholar
  14. 14.
    Hartmann, S., Link, S.: On functional dependencies in advanced data models. Electronic Notes in Theoretical Computer Science, vol. 84. Elsevier Science B.V., Amsterdam (2003)Google Scholar
  15. 15.
    Kot, Ł., White, W.: Characterization of XML functional dependencies and their interaction with DTDs. Technical Report 2006-2039, Cornell University (July 2006)Google Scholar
  16. 16.
    Lee, M., Ling, T., Low, W.: Designing functional dependencies for XML. In: Proc. EDBT, pp. 124–141 (2002)Google Scholar
  17. 17.
    Levene, M., Loizou, G.: Axiomatisation of functional dependencies in incomplete relations. Theor. Comput. Sci. 206(1-2), 283–300 (1998)MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Neven, F., Schwentick, T.: XPath containment in the presence of disjunction, DTDs, and variables. In: Proc. ICDT, pp. 315–329 (2003)Google Scholar
  19. 19.
    Schewe, K.: Redundancy, dependencies and normal forms for XML databases. In: ADC, pp. 7–16 (2005)Google Scholar
  20. 20.
    Vincent, M., Liu, J., Liu, C.: Strong functional dependencies and their application to normal forms in XML. ACM TODS 29(3), 445–462 (2004)CrossRefGoogle Scholar
  21. 21.
    Wang, J.: A comparative study of functional dependencies for XML. In: APWeb, pp. 308–319 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Łucja Kot
    • 1
  • Walker White
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations