Deductive normal forms of relations

  • B. Thalheim
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)


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