Skip to main content
SpringerLink
Log in

Charting the completeness frontier of inference systems for multivalued dependencies

  • Original Article
  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract

The implication of multivalued dependencies in relational databases has originally been defined in the context of some fixed finite universe. While axiomatisability and implication problems 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 establish 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. The results of this paper establish a foundation for reasoning about multivalued dependencies without the assumption of a fixed underlying universe.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Arenas M., Libkin L.: A normal form for XML documents. ACM Trans. Database Syst. 29(1), 195–232 (2004)

    Article  Google Scholar 

  2. Armstrong W.W.: Dependency structures of database relationships. Inf. Process. 74, 580–583 (1974)

    MathSciNet  Google Scholar 

  3. Armstrong, W.W., Nakamura, Y., Rudnicki, P.: Armstrong’s axioms. J. Formalized Math. 14 (2002)

  4. Beeri C.: On the membership problem for functional and multivalued dependencies in relational databases. ACM Trans. Database Syst. 5(3), 241–259 (1980)

    Article  MATH  Google Scholar 

  5. Beeri C., Bernstein P.A.: Computational problems related to the design of normal form relational schemata. ACM Trans. Database Syst. 4(1), 30–59 (1979)

    Article  Google Scholar 

  6. 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 (1977)

  7. Bernstein P.: Synthesizing third normal form relations from functional dependencies. ACM Trans. Database Syst. 1(4), 277–298 (1976)

    Article  Google Scholar 

  8. 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 (1980)

  9. Birkhoff, G.: Lattice Theory. American Mathematical Society (1940)

  10. Biskup J.: On the complementation rule for multivalued dependencies in database relations. Acta Inf. 10(3), 297–305 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  11. Biskup J.: Inferences of multivalued dependencies in fixed and undetermined universes. Theor. Comput. Sci. 10(1), 93–106 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  12. Codd E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377–387 (1970)

    Article  MATH  Google Scholar 

  13. 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)

  14. Delobel C.: Normalisation and hierarchical dependencies in the relational data model. ACM Trans. Database Syst. 3(3), 201–222 (1978)

    Article  Google Scholar 

  15. Diederich J., Milton J.: New methods and fast algorithms for database normalization. ACM Trans. Database Syst. 13(3), 339–365 (1988)

    Article  MathSciNet  Google Scholar 

  16. Fagin R.: Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2(3), 262–278 (1977)

    Article  MathSciNet  Google Scholar 

  17. 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 (1986)

  18. 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)

    Article  MATH  Google Scholar 

  19. Galil Z.: An almost linear-time algorithm for computing a dependency basis in a relational database. J. ACM 29(1), 96–102 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  20. Hagihara K., Ito M., Taniguchi K., Kasami T.: Decision problems for multivalued dependencies in relational databases. SIAM J. Comput. 8(2), 247–264 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  21. 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 (1999)

  22. Hartmann S., Link S.: On a problem of Fagin concerning multivalued dependencies in relational databases. Theor. Comput. Sci. 353(1–3), 53–62 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  23. Hartmann S., Link S.: Full hierarchical dependencies in fixed and undetermined universes. Ann. Math. Artif. Intell. 50(1–2), 195–226 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  24. Hartmann S., Link S.: Characterising nested database dependencies by fragments of propositional logic. Ann. Pure Appl. Logic 152(1–3), 84–106 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  25. Hartmann S., Link S., Schewe K.-D.: Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. 46(1–2), 114–164 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  26. Ito M., Iwasaki M., Taniguchi K., Kasami K.: Membership problems for data dependencies in relational expressions. Theor. Comput. Sci. 34, 315–335 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  27. Jensen C., Snodgrass R., Soo M.: Extending existing dependency theory to temporal databases. IEEE Trans. Knowl. Data Eng. 8(4), 563–582 (1996)

    Article  Google Scholar 

  28. Lakshmanan V., VeniMadhavan C.: An algebraic theory of functional and multivalued dependencies in relational databases. Theor. Comput. Sci. 54, 103–128 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  29. 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 

  30. Lien Y.E.: On the equivalence of data models. J. ACM 29(2), 333–363 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  31. Link, S.: On multivalued dependencies in fixed and undetermined universes. In: FoIKS, number 3861 in Lecture Notes in Computer Science, pp. 258–277. Springer, Heidelberg (2006)

  32. Link, S.: A strongly minimal axiomatisation of multivalued dependencies in incomplete database relations. In: DEXA Workshops, pp. 537–541 (2006)

  33. Link S.: On the implication of multivalued dependencies in partial database relations. Int. J. Found. Comput. Sci. 19(3), 691–715 (2008)

    Article  MathSciNet  Google Scholar 

  34. Mendelzon A.: On axiomatising multivalued dependencies in relational databases. J. ACM 26(1), 37–44 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  35. Paredaens J., De Bra P., Gyssens M., Van Gucht D.: The Structure of the Relational Database Model. Springer, Heidelberg (1989)

    MATH  Google Scholar 

  36. 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 (1979)

  37. Sagiv Y.: An algorithm for inferring multivalued dependencies with an application to propositional logic. J. ACM 27(2), 250–262 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  38. Saxton, L., Tang, X.: Tree multivalued dependencies for XML datasets. In: Advances in Web-Age Information Management: 5th International Conference, number 3129 in Lecture Notes in Computer Science, pp. 357–367. Springer, Heidelberg (2004)

  39. Sözat M., Yazici A.: A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations. Fuzzy Sets Syst. 117(2), 161–181 (2001)

    Article  MATH  Google Scholar 

  40. Tari Z., Stokes J., Spaccapietra S.: Object normal forms and dependency constraints for object-oriented schemata. ACM Trans. Database Syst. 22, 513–569 (1997)

    Article  Google Scholar 

  41. Thalheim, B.: Dependencies in Relational Databases. Teubner-Verlag (1991)

  42. Thalheim, B.: Conceptual treatment of multivalued dependencies. In: Conceptual Modeling ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13–16, 2003, Proceedings, number 2813 in Lecture Notes in Computer Science, pp. 363–375. Springer, Heidelberg (2003)

  43. Vardi M.: Inferring multivalued dependencies from functional and join dependencies. Acta Inf. 19(2), 305–324 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  44. Vardi, M.: Fundamentals of dependency theory. In: Börger, E. (ed.) Trends in Theoretical Computer Science, pp. 171–224. Computer Science Press (1987)

  45. Vincent, M., Liu, J.: Multivalued dependencies in XML. In: Proceedings of the 20th British National Conference on Databases, number 2712 in Lecture Notes in Computer Science, pp. 4–18. Springer, Heidelberg (2003)

  46. Vincent, M., Liu, J., Liu, C.: A redundancy free 4NF for XML. In: Proceedings of the 1st International XML Database Symposium, number 2824 in Lecture Notes in Computer Science, pp. 254–266. Springer, Heidelberg (2003)

  47. Weddell G.: Reasoning about functional dependencies generalized for semantic data models. ACM Trans. Database Syst. 17(1), 32–64 (1992)

    Article  MathSciNet  Google Scholar 

  48. Wijsen J.: Temporal FDs on complex objects. ACM Trans. Database Syst. 24(1), 127–176 (1999)

    Article  Google Scholar 

  49. Zaniolo C.: Database relations with null values. J. Comput. Syst. Sci. 28(1), 142–166 (1984)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Management, Victoria University of Wellington, Wellington, New Zealand

    Sebastian Link

Authors

Corresponding author

Correspondence to Sebastian Link.

Additional information

This research is supported by the Marsden fund council from Government funding, administered by the Royal Society of New Zealand.

A preliminary version of this paper was presented at the 4th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), Budapest, Hungary.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Link, S. Charting the completeness frontier of inference systems for multivalued dependencies. Acta Informatica 45, 565–591 (2008). https://doi.org/10.1007/s00236-008-0080-5

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00236-008-0080-5

Keywords

Search

Navigation