Acta Informatica

, Volume 19, Issue 4, pp 305–324

Inferring multivalued dependencies from functional and join dependencies

  • Moshe Y. Vardi

DOI: 10.1007/BF00290729

Cite this article as:
Vardi, M.Y. Acta Informatica (1983) 19: 305. doi:10.1007/BF00290729


We describe an algorithm to test whether a multivalued dependency is implied by a set of functional and join dependencies. The worst case running time of the algorithm is O(nm), where n is the length of the input and m is the number of the attributes in the universe. We also apply the algorithm to test implication of embedded multivalued dependencies, lossless join dependencies, acyclic join dependencies, first order hierarchical decompositions, and functional dependencies. The worst case running time of the algorithm for all these problems is still polynomial in the length of the input.

Copyright information

© Springer-Verlag 1983

Authors and Affiliations

  • Moshe Y. Vardi
    • 1
  1. 1.Department of Applied MathematicsThe Weizmann Institute of ScienceRehovotIsrael
  2. 2.IBM Research LaboratorySan JoseUSA

Personalised recommendations