Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /1/.
    C.L. Chang, R.C.-T. Lee: Symbolic logic and mechanical theorem proving. Academic press, New York 1973.Google Scholar
  2. /2/.
    N. Goodman, Y.C. Tay: A characterization of multivalued dependencies equivalent to a join dependency. Information Processing Letters 18 (1984), 261–266.Google Scholar
  3. /3/.
    J. Minker, J.-M. Nicolas: On recursive axioms in deductive databases. Information Systems 8, 1, 1–13, 1983.Google Scholar
  4. /4/.
    B. Thalheim: Dekompositionsabhängigkeiten in Relationen. Manuscript, Dresden 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • B. Thalheim
    • 1
  1. 1.Sektion MathematikTechnische Universität DresdenDresden

Personalised recommendations