Preview
Unable to display preview. Download preview PDF.
References
C.L. Chang, R.C.-T. Lee: Symbolic logic and mechanical theorem proving. Academic press, New York 1973.
N. Goodman, Y.C. Tay: A characterization of multivalued dependencies equivalent to a join dependency. Information Processing Letters 18 (1984), 261–266.
J. Minker, J.-M. Nicolas: On recursive axioms in deductive databases. Information Systems 8, 1, 1–13, 1983.
B. Thalheim: Dekompositionsabhängigkeiten in Relationen. Manuscript, Dresden 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thalheim, B. (1986). Deductive normal forms of relations. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_21
Download citation
DOI: https://doi.org/10.1007/3-540-16444-8_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16444-9
Online ISBN: 978-3-540-39784-7
eBook Packages: Springer Book Archive