Skip to main content
Springer Nature Link
Log in

Characterization of the Interaction of XML Functional Dependencies with DTDs

  • Conference paper
Database Theory – ICDT 2007 (ICDT 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4353))

Included in the following conference series:

  • 683 Accesses

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.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    MATH  Google Scholar 

  2. Arenas, M.: Design Principles for XML Data. PhD thesis, University of Toronto (2005)

    Google Scholar 

  3. Arenas, M., Libkin, L.: A normal form for XML documents. ACM TODS 29(1), 195–232 (2004)

    Article  Google Scholar 

  4. Atzeni, P., Morfuni, N.: Functional dependencies and constraints on null values in database relations. Information and Control 70(1), 1–31 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  5. Beeri, C., Bernstein, P.: Computational problems related to the design of normal form relational schemas. ACM TODS 4(1), 30–59 (1979)

    Article  Google Scholar 

  6. Benedikt, M., Fan, W., Geerts, F.: XPath satisfiability in the presence of DTDs. In: Proc. PODS, pp. 25–36 (2005)

    Google Scholar 

  7. Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about keys for XML. Inf. Syst. 28(8), 1037–1063 (2003)

    Article  Google Scholar 

  8. Buneman, P., Fan, W., Weinstein, S.: Path constraints in semistructured and structured databases. In: Proc. PODS, pp. 129–138 (1998)

    Google Scholar 

  9. Deutsch, A., Tannen, V.: Containment and integrity constraints for XPath. In: KRDB (2001)

    Google Scholar 

  10. Fan, W.: XML constraints: Specification, analysis, and applications. In: Proc. DEXA, pp. 805–809 (2005)

    Google Scholar 

  11. Fan, W., Libkin, L.: On XML integrity constraints in the presence of DTDs. In: Proc. PODS (2001)

    Google Scholar 

  12. Hara, C., Davidson, S.: Reasoning about nested functional dependencies. In: Proc. PODS, pp. 91–100 (1999)

    Google Scholar 

  13. Hartmann, S., Link, S.: More functional dependencies for XML. In: ADBIS, pp. 355–369 (2003)

    Google Scholar 

  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. Kot, Ł., White, W.: Characterization of XML functional dependencies and their interaction with DTDs. Technical Report 2006-2039, Cornell University (July 2006)

    Google Scholar 

  16. Lee, M., Ling, T., Low, W.: Designing functional dependencies for XML. In: Proc. EDBT, pp. 124–141 (2002)

    Google Scholar 

  17. Levene, M., Loizou, G.: Axiomatisation of functional dependencies in incomplete relations. Theor. Comput. Sci. 206(1-2), 283–300 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  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. Schewe, K.: Redundancy, dependencies and normal forms for XML databases. In: ADC, pp. 7–16 (2005)

    Google Scholar 

  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)

    Article  Google Scholar 

  21. Wang, J.: A comparative study of functional dependencies for XML. In: APWeb, pp. 308–319 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Cornell University, Ithaca, NY, 14853, USA

    Łucja Kot & Walker White

Authors
  1. Łucja Kot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walker White
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technical University of Dortmund,  

    Thomas Schwentick

  2. Department of Computer Science and Engineering, University of Washington,  

    Dan Suciu

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kot, Ł., White, W. (2006). Characterization of the Interaction of XML Functional Dependencies with DTDs. In: Schwentick, T., Suciu, D. (eds) Database Theory – ICDT 2007. ICDT 2007. Lecture Notes in Computer Science, vol 4353. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11965893_9

Download citation

  • DOI: https://doi.org/10.1007/11965893_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69269-0

  • Online ISBN: 978-3-540-69270-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics