Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Foundations of Information and Knowledge Systems

FoIKS 2006: Foundations of Information and Knowledge Systems pp 137–158Cite as

The Nested List Normal Form for Functional and Multivalued Dependencies

  • Conference paper

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

Abstract

The Nested List Normal Form is proposed as a syntactic normal form for semantically well-designed database schemata obtained from any arbitrary finite nesting of records and lists. The Nested List Normal Form is defined in terms of functional and multivalued dependencies, independent from any specific data model, and generalises the well-known Fourth Normal Form from relational databases in order to capture more application domains.

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., Libkin, L.: A normal form for XML documents. TODS 29(1), 195–232 (2004)

    Article  Google Scholar 

  3. Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2), 246–283 (2005)

    Article  MathSciNet  Google Scholar 

  4. Asano, T., Katoh, N., Obokata, K., Tokuyama, T.: Matrix rounding under the L p -discrepancy measure and its application to digital halftoning. SIAM Journal on Computing 32(6), 1423–1435 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  5. Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., Zdonik, S.: The object-oriented database system manifesto. In: Proceedings of the International Conference on Deductive and Object-Oriented Databases, pp. 40–57 (1989)

    Google Scholar 

  6. Beeri, C., Bernstein, P.A., Goodman, N.: A sophisticate’s introduction to database normalization theory. In: VLDB, pp. 113–124 (1978)

    Google Scholar 

  7. Bernstein, P.A., Goodman, N.: What does Boyce-Codd normal form do? In: VLDB, pp. 245–259 (1980)

    Google Scholar 

  8. Biskup, J.: Database schema design theory: achievements and challenges. In: HS 1995. LNCS, vol. 1066, pp. 14–44. Springer, Heidelberg (1995)

    Google Scholar 

  9. Biskup, J.: Achievements of relational database schema design theory revisited. In: Thalheim, B. (ed.) Semantics in Databases 1995. LNCS, vol. 1358, pp. 29–54. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  10. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0, 3rd edn. W3C recommendation 04 February 2004 (2004), http://www.w3.org/TR/2004/REC-xml-20040204/

  11. Chen, P.P.: The entity-relationship model: Towards a unified view of data. TODS 1, 9–36 (1976)

    Article  Google Scholar 

  12. Codd, E.F.: Further normalization of the database relational model. In: Courant Computer Science Symposia 6: Data Base Systems, pp. 33–64. Prentice-Hall, Englewood Cliffs (1972)

    Google Scholar 

  13. Codd, E.F.: Recent investigations in relational database system. In: Proceedings of the IFIP Conference, pp. 1017–1021 (1974)

    Google Scholar 

  14. Fagin, R.: Multivalued dependencies and a new normal form for relational databases. TODS 2(3), 262–278 (1977)

    Article  Google Scholar 

  15. Fagin, R.: A normal form for relational databases that is based on domains and keys. TODS 6(3), 387–415 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  16. Floyd, R.W., Steinberg, L.: An adaptive algorithm for spatial grey scale. In: Proceedings of the Society of Information Display, pp. 75–77 (1976)

    Google Scholar 

  17. Grahne, G., Räihä, K.P.: Database decomposition into 4NF. In: VLDB, pp. 186–196 (1983)

    Google Scholar 

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

    Google Scholar 

  19. Hartmann, S., Link, S.: More functional dependencies for XML. In: Kalinichenko, L.A., Manthey, R., Thalheim, B., Wloka, U. (eds.) ADBIS 2003. LNCS, vol. 2798, pp. 355–369. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Hartmann, S., Link, S.: Multi-valued dependencies in the presence of lists. PODS, 330–341 (2004)

    Google Scholar 

  21. Hartmann, S., Link, S.: Normalisation in the presence of lists. In: ADC. CRPIT, vol. 27, pp. 53–64 (2004)

    Google Scholar 

  22. Hartmann, S., Link, S., Schewe, K.-D.: Functional and multivalued dependencies in nested databases generated by record and list constructor. Accepted for Annals of Mathematics and Artificial Intelligence (2006)

    Google Scholar 

  23. Hartmann, S., Trinh, T.: Axiomatising functional dependencies for XML with frequencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 159–178. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Hull, R., King, R.: Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys 19(3) (1987)

    Google Scholar 

  25. Jarvis, J.F., Judice, C.N., Ninke, W.H.: A survey of techniques for the display of continuous-tone pictures on bilevel display. Computer Graphics Image Processing 5, 13–40 (1976)

    Article  Google Scholar 

  26. Katsavounidis, I., Kuo, C.-C.J.: A multiscale error diffusion technique for digital halftoning. Transactions on Image Processing 6(3), 483–490 (1997)

    Article  Google Scholar 

  27. Levene, M., Loizou, G.: A Guided Tour of relational databases and beyond. Springer, Heidelberg (1999)

    Book  Google Scholar 

  28. Li, J., Ng, S., Wong, L.: Bioinformatics adventures in database research. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 31–46. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  29. McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Annals of Mathematics 47, 122–146 (1946)

    Article  MathSciNet  Google Scholar 

  30. Mok, W.Y.: A comparative study of various nested normal forms. IEEE Transactions on Knowledge & Data Engineering 14(2), 369–385 (2002)

    Article  MathSciNet  Google Scholar 

  31. Roth, M.A., Korth, H.F., Silberschatz, A.: Extended algebra and calculus for nested relational databases. TODS 13(4), 389–417 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  32. Suciu, D.: On database theory and XML. SIGMOD Record 30(3), 39–45 (2001)

    Article  Google Scholar 

  33. Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  34. Vianu, V.: A web odyssey: from Codd to XML. In: PODS, pp. 1–15 (2001)

    Google Scholar 

  35. Vincent, M.: Semantic foundation of 4NF in relational database design. Acta Informatica 36, 1–41 (1999)

    Article  MathSciNet  Google Scholar 

  36. Vincent, M., Liu, J.: Functional dependencies for XML. In: Zhou, X., Zhang, Y., Orlowska, M.E. (eds.) APWeb 2003. LNCS, vol. 2642, pp. 22–34. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  37. Vincent, M., Liu, J., Liu, C.: A redundancy free 4NF for XML. In: Bellahsène, Z., Chaudhri, A.B., Rahm, E., Rys, M., Unland, R. (eds.) XSym 2003. LNCS, vol. 2824, pp. 254–266. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Science Research Centre, Dept of Information Systems, Massey University, Palmerston North, New Zealand

    Sven Hartmann & Sebastian Link

Authors
  1. Sven Hartmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Department of Computing Science, Umeå University, SE-901 87, Umeå, Sweden

    Stephen J. Hegner

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hartmann, S., Link, S. (2006). The Nested List Normal Form for Functional and Multivalued Dependencies. In: Dix, J., Hegner, S.J. (eds) Foundations of Information and Knowledge Systems. FoIKS 2006. Lecture Notes in Computer Science, vol 3861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663881_9

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31782-1

  • Online ISBN: 978-3-540-31784-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation