A polynomial-time join dependency implication algorithm for unary multi-valued dependencies

  • P. Thanisch
  • G. Loizou
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 243)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Aho, A. V., Beeri, C. and Ullman, J. D.: The theory of joins in relational databases. ACM Trans. Database Syst. 4, 297–314 (1979)Google Scholar
  2. [2]
    Aho, A. V., Hopcroft, J. E. and Ullman, J. D.: Data Structures and Algorithms. Addison-Wesley, Reading, Mass., 1983.Google Scholar
  3. [3]
    Aho, A. V., Sagiv, Y. and Ullman, J. D.: Equivalences among relational expressions. SIAM J. Comput. 8, 218–246 (1979)Google Scholar
  4. [4]
    Beeri, C. and Vardi, M. Y.:A proof procedure for data dependencies. J. Assoc. Comput. Mach. 31, 718–741 (1984)Google Scholar
  5. [5]
    Beeri, C. and Vardi, M. Y.: On the complexity of testing implications of data dependencies. Technical Report, Computer Science Dept., The Hebrew University of Jerusalem, 1980.Google Scholar
  6. [6]
    Fagin, R.:Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2, 262–278 (1977)Google Scholar
  7. [7]
    Fischer, P. C. and Tsou, D-M.:Whether a set of multivalued dependencies implies a join dependency is NP-hard. SIAM J. Comput. 12, 259–266 (1983)Google Scholar
  8. [8]
    Galil, Z.:An almost linear-time algorithm for computing a dependency basis in a relational database. J. Assoc. Comput. Mach. 29, 96–102 (1982)Google Scholar
  9. [9]
    Kanellakis, P. C., Cosmadakis, S. S. and Vardi, M. Y.:Unary inclusion dependencies have polynomial time inference problems. In Proceedings 15th Annual ACM Symposium on Theory of Computing, pp. 264–277, Boston, 1983.Google Scholar
  10. [10]
    Maier, D.:The Theory of Relational Databases. Computer Science Press, Rockville, Maryland, 1983.Google Scholar
  11. [11]
    Maier, D., Mendelzon, A. O. and Sagiv, Y.:Testing implications of data dependencies. ACM Trans. Database Syst. 4, 455–469 (1979)Google Scholar
  12. [12]
    Maier, D., Ullman, J. D. and Vardi, M. Y.:On the foundations of the universal relation model. ACM Trans. Database Syst. 9, 283–308 (1984)Google Scholar

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • P. Thanisch
    • 1
  • G. Loizou
    • 2
  1. 1.Department of Computer ScienceHeriot-Watt UniversityEdinburghScotland
  2. 2.Department of Computer Science, Birkbeck CollegeUniversity of LondonLondonEngland

Personalised recommendations