On the Representation of Dependencies by Propositional Logic.

@inproceedings{DBLP:conf/mfdbs/DemetrovicsRS91,
  author    = {J{\'a}nos Demetrovics and
               Lajos R{\'o}nyai and
               Hua nam Son},
  editor    = {Bernhard Thalheim and
               J{\'a}nos Demetrovics and
               Hans-Detlef Gerhardt},
  title     = {On the Representation of Dependencies by Propositional Logic},
  booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
               and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  year      = {1991},
  isbn      = {3-540-54009-1},
  pages     = {230-242},
  ee        = {db/conf/mfdbs/DemetrovicsRS91.html},
  crossref  = {DBLP:conf/mfdbs/91},
  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

[Arm]

William Ward Armstrong: Dependency Structures of Data Base Relationships. IFIP Congress 1974: 580-583 BibTeX

[BDFS]

Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman: On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31(1): 30-46(1984) BibTeX

[BD]

...

[BDK]

...

[DC]

...

[Dem]

...

[DGy]

...

[DRH]

...

[Fa 1]

...

[Fa 2]

Ronald Fagin: Horn clauses and database dependencies. J. ACM 29(4): 952-985(1982) BibTeX

[Got]

Georg Gottlob: On the Size of Nonredundant FD-Covers. Inf. Process. Lett. 24(6): 355-360(1987) BibTeX

[Mai]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[MR 1]

Heikki Mannila, Kari-Jouko Räihä: Design by Example: An Application of Armstrong Relations. J. Comput. Syst. Sci. 33(2): 126-141(1986) BibTeX

[MR 2]

...

[Sad]

...

[SDPF 1]

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

[SDPF 2]

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: Correction to ``An equivalence between relational database dependencies and a fragment of propositional logic''. J. ACM 34(4): 1016-1018(1987) BibTeX

[Sch]

...

[Thal 1]

...

[Thal 2]

...

Referenced by

1. János Demetrovics, Lajos Rónyai, Hua nam Son: On the Composition and Decomposition of Attributes and Tuples. ICDT 1992: 71-85