Adding For-Loops to First-Order Logic.

@inproceedings{DBLP:conf/icdt/NevenOTB99,
  author    = {Frank Neven and
               Martin Otto and
               Jerzy Tyszkiewicz and
               Jan Van den Bussche},
  editor    = {Catriel Beeri and
               Peter Buneman},
  title     = {Adding For-Loops to First-Order Logic},
  booktitle = {Database Theory - ICDT '99, 7th International Conference, Jerusalem,
               Israel, January 10-12, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1540},
  year      = {1999},
  isbn      = {3-540-65452-6},
  pages     = {58-69},
  ee        = {db/conf/icdt/NevenOTB99.html, http://link.springer.de/link/service/series/0558/bibs/1540/15400058.htm},
  crossref  = {DBLP:conf/icdt/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Edition: Springer LINK

References

[AHV95]

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

[AV95]

Serge Abiteboul, Victor Vianu: Computing with First-Order Logic. J. Comput. Syst. Sci. 50(2): 309-335(1995) BibTeX

[CH82]

Ashok K. Chandra, David Harel: Structure and Complexity of Relational Queries. J. Comput. Syst. Sci. 25(1): 99-128(1982) BibTeX

[Cha81]

Ashok K. Chandra: Programming Primitives for Database Languages. POPL 1981: 50-62 BibTeX

[Cha88]

Ashok K. Chandra: Theory of Database Queries. PODS 1988: 1-9 BibTeX

[EF95]

...

[EFT94]

...

[GO93]

Erich Grädel, Martin Otto: Inductive Definability with Counting on Finite Structures. CSL 1992: 231-247 BibTeX

[HKL96]

...

[KV95]

Phokion G. Kolaitis, Jouko A. Väänänen: Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Logic 74(1): 23-75(1995) BibTeX

[Ott96]

Martin Otto: The Expressive Power of Fixed-Point Logic with Counting. J. Symb. Log. 61(1): 147-176(1996) BibTeX