Abstract
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe. While axiomatisability and implication problem have been intensely studied with respect to this notion, almost no research has been devoted towards the alternative notion of implication in which the underlying universe of attributes is left undetermined.
Based on a set of common inference rules we reveal all axiomatisations in undetermined universes, and all axiomatisations in fixed universes that indicate the role of the complementation rule as a means of database normalisation. This characterises the expressiveness of several incomplete sets of inference rules. We also establish relationships between axiomatisations in fixed and undetermined universes, and study the time complexity of the implication problem in undetermined universes.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arenas, M., Libkin, L.: A normal form for XML documents. Tansactions on Database Systems (ToDS) 29(1), 195–232 (2004)
Armstrong, W.W.: Dependency structures of database relationships. Information Processing 74, 580–583 (1974)
Armstrong, W.W., Nakamura, Y., Rudnicki, P.: Armstrong’s axioms. Journal of formalized Mathematics 14 (2002)
Beeri, C.: On the membership problem for functional and multivalued dependencies in relational databases. ACM Tans. Database Syst. 5(3), 241–259 (1980)
Beeri, C., Bernstein, P.A.: Computational problems related to the design of normal form relational schemata. ACM Tans. Database Syst. 4(1), 30–59 (1979)
Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: Proceedings of the SIGMOD International Conference on Management of Data, pp. 47–61. ACM, New York (1977)
Bernstein, P.: Synthesizing third normal form relations from functional dependencies. ACM Tans. Database Syst. 1(4), 277–298 (1976)
Bernstein, P.A., Goodman, N.: What does Boyce-Codd normal form do? In: Proceedings of the 6th International Conference on Very Large Data Bases, pp. 245–259. IEEE Computer Society, Los Alamitos (1980)
Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1940)
Biskup, J.: On the complementation rule for multivalued dependencies in database relations. Acta Informatica 10(3), 297–305 (1978)
Biskup, J.: Inferences of multivalued dependencies in fixed and undetermined universes. Theor. Comput. Sci. 10(1), 93–106 (1980)
Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377–387 (1970)
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)
Delobel, C.: Normalisation and hierarchical dependencies in the relational data model. ACM Tans. Database Syst. 3(3), 201–222 (1978)
Diederich, J., Milton, J.: New methods and fast algorithms for database normalization. ACM Tans. Database Syst. 13(3), 339–365 (1988)
Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Tans. Database Syst. 2(3), 262–278 (1977)
Fagin, R., Vardi, M.Y.: The theory of data dependencies: a survey. In: Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics, pp. 19–71. American Mathematical Society, Providence (1986)
Fischer, P.C., Saxton, L.V., Thomas, S.J., Van Gucht, D.: Interactions between dependencies and nested relational structures. J. Comput. Syst. Sci. 31(3), 343–354 (1985)
Galil, Z.: An almost linear-time algorithm for computing a dependency basis in a relational database. J. ACM 29(1), 96–102 (1982)
Hagihara, K., Ito, M., Taniguchi, K., Kasami, T.: Decision problems for multivalued dependencies in relational databases. SIAM J. Comput. 8(2), 247–264 (1979)
Hara, C., Davidson, S.: Reasoning about nested functional dependencies. In: Proceedings of the 18th SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 91–100. ACM, New York (1999)
Hartmann, S., Link, S.: On a problem of Fagin concerning multivalued dependencies in relational databases. Accepted for Theoretical Computer Science (TCS)
Hartmann, S., Link, S.: Multi-valued dependencies in the presence of lists. In: Proceedings of the 23rd SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 330–341. ACM, New York (2004)
Hartmann, S., Link, S., Schewe, K.-D.: Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Accepted for Theoretical Computer Science (TCS)
Ito, M., Iwasaki, M., Taniguchi, K., Kasami, K.: Membership problems for data dependencies in relational expressions. Theor. Comput. Sci. 34, 315–335 (1984)
Lakshmanan, V., VeniMadhavan, C.: An algebraic theory of functional and multivalued dependencies in relational databases. Theor. Comput. Sci. 54, 103–128 (1987)
Levene, M., Loizou, G.: Axiomatisation of functional dependencies in incomplete relations. Theoretical Computer Science (TCS) 206(1-2), 283–300 (1998)
Lien, Y.E.: On the equivalence of data models. Journal of the ACM 29(2), 333–363 (1982)
Mendelzon, A.: On axiomatising multivalued dependencies in relational databases. J. ACM 26(1), 37–44 (1979)
Parker, D., Delobel, C.: Algorithmic applications for a new result on multivalued dependencies. In: Proceedings of the 5th International Conference on Very Large Data Bases, pp. 67–74. IEEE Computer Society, Los Alamitos (1979)
Sagiv, Y.: An algorithm for inferring multivalued dependencies with an application to propositional logic. J. ACM 27(2), 250–262 (1980)
Tari, Z., Stokes, J., Spaccapietra, S.: Object normal forms and dependency constraints for object-oriented schemata. ACM Tans. Database Syst. 22, 513–569 (1997)
Thalheim, B.: Dependencies in Relational Databases. Teubner, Stuttgart (1991)
Thalheim, B.: Conceptual treatment of multivalued dependencies. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 363–375. Springer, Heidelberg (2003)
Vardi, M.: Inferring multivalued dependencies from functional and join dependencies. Acta Inf. 19(2), 305–324 (1983)
Vardi, M.Y.: Fundamentals of dependency theory. In: Börger, E. (ed.) Trends in Theoretical Computer Science, pp. 171–224. Computer Science Press (1987)
Vincent, M., Liu, J.: Multivalued dependencies in XML. In: James, A., Younas, M., Lings, B. (eds.) BNCOD 2003. LNCS, vol. 2712, pp. 4–18. 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)
Weddell, G.: Reasoning about functional dependencies generalized for semantic data models. ACM Tans. Database Syst. 17(1), 32–64 (1992)
Wijsen, J.: Temporal FDs on complex objects. ACM Tans. Database Syst. 24(1), 127–176 (1999)
Zaniolo, C.: Analysis and Design of Relational Schemata for Database Systems. PhD thesis, UCLA, Tech. Rep. UCLA-ENG-7769 (1976)
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
Link, S. (2006). On Multivalued Dependencies in Fixed and Undetermined Universes. 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_15
Download citation
DOI: https://doi.org/10.1007/11663881_15
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)