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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
Arenas, M., Libkin, L.: A normal form for XML documents. TODS 29(1), 195–232 (2004)
Arenas, M., Libkin, L.: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2), 246–283 (2005)
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)
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)
Beeri, C., Bernstein, P.A., Goodman, N.: A sophisticate’s introduction to database normalization theory. In: VLDB, pp. 113–124 (1978)
Bernstein, P.A., Goodman, N.: What does Boyce-Codd normal form do? In: VLDB, pp. 245–259 (1980)
Biskup, J.: Database schema design theory: achievements and challenges. In: HS 1995. LNCS, vol. 1066, pp. 14–44. Springer, Heidelberg (1995)
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)
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/
Chen, P.P.: The entity-relationship model: Towards a unified view of data. TODS 1, 9–36 (1976)
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)
Codd, E.F.: Recent investigations in relational database system. In: Proceedings of the IFIP Conference, pp. 1017–1021 (1974)
Fagin, R.: Multivalued dependencies and a new normal form for relational databases. TODS 2(3), 262–278 (1977)
Fagin, R.: A normal form for relational databases that is based on domains and keys. TODS 6(3), 387–415 (1981)
Floyd, R.W., Steinberg, L.: An adaptive algorithm for spatial grey scale. In: Proceedings of the Society of Information Display, pp. 75–77 (1976)
Grahne, G., Räihä, K.P.: Database decomposition into 4NF. In: VLDB, pp. 186–196 (1983)
Hara, C.S., Davidson, S.B.: Reasoning about nested functional dependencies. In: PODS, pp. 91–100 (1999)
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)
Hartmann, S., Link, S.: Multi-valued dependencies in the presence of lists. PODS, 330–341 (2004)
Hartmann, S., Link, S.: Normalisation in the presence of lists. In: ADC. CRPIT, vol. 27, pp. 53–64 (2004)
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)
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)
Hull, R., King, R.: Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys 19(3) (1987)
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)
Katsavounidis, I., Kuo, C.-C.J.: A multiscale error diffusion technique for digital halftoning. Transactions on Image Processing 6(3), 483–490 (1997)
Levene, M., Loizou, G.: A Guided Tour of relational databases and beyond. Springer, Heidelberg (1999)
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)
McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Annals of Mathematics 47, 122–146 (1946)
Mok, W.Y.: A comparative study of various nested normal forms. IEEE Transactions on Knowledge & Data Engineering 14(2), 369–385 (2002)
Roth, M.A., Korth, H.F., Silberschatz, A.: Extended algebra and calculus for nested relational databases. TODS 13(4), 389–417 (1988)
Suciu, D.: On database theory and XML. SIGMOD Record 30(3), 39–45 (2001)
Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, Heidelberg (2000)
Vianu, V.: A web odyssey: from Codd to XML. In: PODS, pp. 1–15 (2001)
Vincent, M.: Semantic foundation of 4NF in relational database design. Acta Informatica 36, 1–41 (1999)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)