Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database Theory

ICDT 2007: Database Theory – ICDT 2007 pp 119–133Cite as

Characterization of the Interaction of XML Functional Dependencies with DTDs

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNISA,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.

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

Search

Navigation