Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers.

@inproceedings{DBLP:conf/adbis/Torres98,
  author    = {Jose Maria Turull Torres},
  editor    = {Witold Litwin and
               Tadeusz Morzy and
               Gottfried Vossen},
  title     = {Untyped Queries, Untyped Reflective Machines and Conditional
               Quantifiers},
  booktitle = {Advances in Databases and Information Systems, Second East European
               Symposium, ADBIS'98, Poznan, Poland, Spetember 7-10, 1998, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1475},
  year      = {1998},
  isbn      = {3-540-64924-7},
  pages     = {35-45},
  ee        = {db/conf/adbis/Torres98.html, http://link.springer.de/link/service/series/0558/bibs/1475/14750035.htm},
  crossref  = {DBLP:conf/adbis/98},
  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-5 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

Online Edition: Springer LINK

References

[1]

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

[2]

Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu: The Power of Reflective Relational Machines. LICS 1994: 230-240 BibTeX

[3]

Serge Abiteboul, Victor Vianu: Generic Computation and Its Complexity. STOC 1991: 209-219 BibTeX

[4]

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Fixpoint Logics, Relational Machines, and Computational Complexity. Structure in Complexity Theory Conference 1992: 156-168 BibTeX

[5]

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu: Computing with Infinitary Logic. ICDT 1992: 113-123 BibTeX

[6]

...

[7]

Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) BibTeX

[8]

...

[9]

...

[10]

Erich Grädel, Yuri Gurevich: Metafinite Model Theory. Inf. Comput. 140(1): 26-81(1998) BibTeX

[11]

...

[12]

Neil Immerman: Relational Queries Computable in Polynomial Time. Information and Control 68(1-3): 86-104(1986) BibTeX

[13]

Paris C. Kanellakis: Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 1073-1156 BibTeX

[14]

...

[15]

...