Translation Schemes and the Fundamental Problem of Database Design.

@inproceedings{DBLP:conf/er/MakowskyR96,
  author    = {Johann A. Makowsky and
               Elena V. Ravve},
  editor    = {Bernhard Thalheim},
  title     = {Translation Schemes and the Fundamental Problem of Database Design},
  booktitle = {Conceptual Modeling - ER'96, 15th International Conference on
               Conceptual Modeling, Cottbus, Germany, October 7-10, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1157},
  year      = {1996},
  isbn      = {3-540-61784-1},
  pages     = {5-26},
  ee        = {db/conf/er/MakowskyR96.html},
  crossref  = {DBLP:conf/er/96},
  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-1 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

[AHV94]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX

[BS81]

François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX

[BV84]

Catriel Beeri, Moshe Y. Vardi: Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13(1): 76-98(1984) BibTeX

[CH90]

Kevin J. Compton, C. Ward Henson: A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories. Ann. Pure Appl. Logic 48(1): 1-79(1990) BibTeX

[CLM81]

Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky: Embedded Implicational Dependencies and their Inference Problem. STOC 1981: 342-354 BibTeX

[Cou94]

Bruno Courcelle: Monadic Second-Order Definable Graph Transductions: A Survey. Theor. Comput. Sci. 126(1): 53-75(1994) BibTeX

[Dah83]

...

[Daw93]

...

[EFT94]

...

[FV86]

...

[HB70]

...

[Her95]

Christian Herrmann: On the Undecidability of Implications Between Embedded Multivalued Database Dependencies. Inf. Comput. 122(2): 221-235(1995) BibTeX

[Imm87]

Neil Immerman: Languages that Capture Complexity Classes. SIAM J. Comput. 16(4): 760-778(1987) BibTeX

[Kol90]

Phokion G. Kolaitis: Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report). LICS 1990: 168-180 BibTeX

[KU84]

Arthur M. Keller, Jeffrey D. Ullman: On Complementary and Independent Mappings on Databases. SIGMOD Conference 1984: 143-148 BibTeX

[Mak94]

Johann A. Makowsky: Capturing Complexity Classes with Lindström Quantifiers. MFCS 1994: 68-71 BibTeX

[MPS90]

...

[MR92]

Heikki Mannila, Kari-Jouko Räihä: Design of Relational Databases. Addison-Wesley 1992, ISBN 0-201-56523-4
BibTeX

[MR96]

...

[MV86]

Johann A. Makowsky, Moshe Y. Vardi: On the Expressive Power of Data Dependencies. Acta Inf. 23(3): 231-244(1986) BibTeX

[PDGV89]

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

[Rab65]

...

[Tha91]

...

[Tha93]

...

[Tha94]

...

[Ull82]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[Var87]

...