Design Tools for Large Relational Database Systems.

@inproceedings{DBLP:conf/mfdbs/Thalheim87,
  author    = {Bernhard Thalheim},
  editor    = {Joachim Biskup and
               J{\'a}nos Demetrovics and
               Jan Paredaens and
               Bernhard Thalheim},
  title     = {Design Tools for Large Relational Database Systems},
  booktitle = {MFDBS 87, 1st Symposium on Mathematical Fundamentals of Database
               Systems, Dresden, GDR, January 19-23, 1987, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {305},
  year      = {1987},
  isbn      = {3-540-19121-6},
  pages     = {210-224},
  ee        = {db/conf/mfdbs/Thalheim87.html},
  crossref  = {DBLP:conf/mfdbs/87},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[BEBL 85]

Joel Berman, Willem J. Blok: Positive Boolean Dependencies. Inf. Process. Lett. 27(3): 147-150(1988) BibTeX

[BEKI 86]

Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158(1986) BibTeX

[DAHL 82]

Verónica Dahl: On Database Systems Development Through Logic. ACM Trans. Database Syst. 7(1): 102-123(1982) BibTeX

[DBPA 83]

Paul De Bra: Imposed-Functional Dependencies Inducing Horizontal Decompositions. ICALP 1985: 158-170 BibTeX

[DEAB 85]

...

[DEGY 82]

...

[IMLI 82]

Tomasz Imielinski, Witold Lipski Jr.: A Systematic Approach to Relational Database Theory. SIGMOD Conference 1982: 8-14 BibTeX

[PDGG 88]

Jan Paredaens, Paul De Bra, Marc Gyssens, Dirk Van Gucht: The Structure of the Relational Database Model. Springer 1989, ISBN 3-540-13714-9
BibTeX

[SDPF 81]

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM 28(3): 435-453(1981) BibTeX

[THAL 84]

...

[THAL 85]

...

[THAL 87]

...

[THAL 88]

...

Referenced by

1. Bernhard Thalheim: The Higher-Order Entity-Relationship Model and (DB)2. MFDBS 1989: 382-397
2. Jürgen M. Janas: Covers for Functional Independencies. MFDBS 1989: 254-268
3. János Demetrovics, Leonid Libkin, Ilya B. Muchnik: Functional Dependencies and the Semilattice of Closed Classes. MFDBS 1989: 136-147