Design tools for large relational database systems

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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. BEBL 85.
    J.Berman, W.J. Blok, Positive boolean dependencies. Res.Report Univ. of Illinois, CS, N. 5, June 1985.Google Scholar
  2. BEKI 86.
    C. Beeri, M. Kifer, An integrated approach to logical design of relational database schemes. ACM TODS 11, 1986, 159–185.Google Scholar
  3. DAHL 82.
    V. Dahl, On database development through logic. ACM TODS 7, 1, 1982, 102–123.Google Scholar
  4. DBPA 83.
    P. De Bra, J. Paredaens, Imposed-functional dependencies inducing horizontal decompositions. LNCS 194, Springer-Verlag 1984, 158–170.Google Scholar
  5. DEAB 85.
    C. Delobel, M. Adiba, Relational database systems. North-Holland, Amsterdam 1985.Google Scholar
  6. DEGY 82.
    J. Demetrovics, Gy. Gyepesi, Logical dependencies in relational databases. MTAZSAKI Tanulmanyok 133, 1982, Budapest, 59–78.Google Scholar
  7. IMLI 82.
    T. Imielinski, W. Lipski, A systematic approach to relational database theory. SIGMOD 82, 8–14.Google Scholar
  8. PDGG 88.
    J. Paredaens, P. De Bra, M. Gyssens, D. van Gucht, Structures in the relational database model. Springer, Heidelberg, 1988.Google Scholar
  9. SDPF 81.
    Y. Sagiv, C. Delobel, D.S. Parker, R. Fagin, An equivalence between relational database dependencies and a fragment of propositional logic. J.ACM 28, 3, 1981, 435–453.Google Scholar
  10. THAL 84.
    B. Thalheim, Deductive Basis of relations. MMSSSS 84, LNCS 215, Springer-Verlag, 1985, 226–230.Google Scholar
  11. THAL 85.
    B. Thalheim, Funktionale Abhängigkeiten in relationalen Datenstrukturen. EIK, 1985, 1/2, 23–33.Google Scholar
  12. THAL 87.
    B. Thalheim, Dependencies in relational databases. Teubner-Verlag, Leipzig, 1987.Google Scholar
  13. THAL 88.
    B. Thalheim, A systematic approach to relational database theory. INFO 88.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

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

Personalised recommendations