Advertisement

A Redundancy Free 4NF for XML

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

Abstract

While providing syntactic flexibility, XML provides little semantic content and so the study of integrity constraints in XML plays an important role in helping to improve the semantic expressiveness of XML. Functional dependencies (FDs) and multivalued dependencies (MVDs) play a fundamental role in relational databases where they provide semantics for the data and at the same time are the foundation for database design. In some previous work, we defined the notion of multivalued dependencies in XML (called XMVDs) and defined a normal form for a restricted class of XMVDs, called hierarchical XMVDs. In this paper we generalise this previous work and define a normal form for arbitrary XMVDs. We then justify our definition by proving that it guarantees the elimination of redundancy in XML documents.

Keywords

Normal Form Relational Database Axiom System Integrity Constraint Semistructured Data 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. Morgan Kaufmann, San Francisco (2000)Google Scholar
  2. 2.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases. Addison Wesley, Reading (1996)Google Scholar
  3. 3.
    Buneman, P., Davidson, S., Fan, W., Hara, C.: Reasoning about keys for xml. In: International Workshop on Database Programming Languages (2001)Google Scholar
  4. 4.
    Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Keys for xml. Computer Networks 39(5), 473–487 (2002)CrossRefGoogle Scholar
  5. 5.
    Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for semistructured data and xml. ACM SIGMOD Record 30(1), 45–47 (2001)CrossRefGoogle Scholar
  6. 6.
    Buneman, P., Fan, W., Weinstein, S.: Path constraints on structured and semistructured data. In: Proc. ACM PODS Conference, pp. 129–138 (1998)Google Scholar
  7. 7.
    Fan, W., Simeon, J.: Integrity constraints for xml. In: Proc. ACM PODS Conference, pp. 23–34 (2000)Google Scholar
  8. 8.
    Levene, M., Vincent, M.W.: Justification for inclusion dependency normal form. IEEE Transactions on Knowledge and Data Engineering 12, 281–291 (2000)CrossRefGoogle Scholar
  9. 9.
    Shanmugasundaram, J., Tufte, K., Zhang, C., He, G., DeWitt, D.J., Naughton, J.F.: Relational databases for querying xml documents: Limitations and opportunities. In: VLDB Conference, pp. 302–314 (1999)Google Scholar
  10. 10.
    Vincent, M.W.: A corrected 5nf definition for relational database design. Theoretical Computer Science 185, 379–391 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Vincent, M.W.: A new redundancy free normal form for relational database design. In: Thalheim, B., Libkin, L. (eds.) Database Semantics, pp. 247–264. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    Vincent, M.W.: Semantic foundations of 4nf in relational database design. Acta Informatica 36, 1–41 (1999)CrossRefMathSciNetGoogle Scholar
  13. 13.
    Vincent, M.W., Liu, J.: Strong functional dependencies and a redundancy free normal form for xml. ACM Transactions on Database Systems (2002) (submitted)Google Scholar
  14. 14.
    Vincent, M.W., Liu, J.: Functional dependencies for xml. In: 5th Asian Pacific Web Conference (2003)Google Scholar
  15. 15.
    Vincent, M.W., Liu, J.: Multivalued dependencies and a 4nf for xml. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Vincent, M.W., Liu, J.: Multivalued dependencies in xml. In: James, A., Younas, M., Lings, B. (eds.) BNCOD 2003. LNCS, vol. 2712. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Vincent, M.W., Liu, J., Liu, C.: The implication problem for unary functional dependencies in xml. In: submitted for publication (2003)Google Scholar
  18. 18.
    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 2003

Authors and Affiliations

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

Personalised recommendations