Expressive Power of Unary Counters.

@inproceedings{DBLP:conf/icdt/BenediktK97,
  author    = {Michael Benedikt and
               H. Jerome Keisler},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Expressive Power of Unary Counters},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {291-305},
  ee        = {db/conf/icdt/BenediktK97.html},
  crossref  = {DBLP:conf/icdt/97},
  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

[1]

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

[2]

Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127 BibTeX

[3]

Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong: Relational Expressive Power of Constraint Query Languages. PODS 1996: 5-16 BibTeX

[4]

Michael Benedikt, Leonid Libkin: On the Structure of Queries in Constraint Query Languages. LICS 1996: 25-34 BibTeX

[5]

Peter Buneman, Shamim A. Naqvi, Val Tannen, Limsoon Wong: Principles of Programming with Complex Objects and Collection Types. Theor. Comput. Sci. 149(1): 3-48(1995) BibTeX

[6]

...

[7]

...

[8]

...

[9]

...

[10]

Kousha Etessami, Neil Immerman: Tree Canonization and Transitive Closure. LICS 1995: 331-341 BibTeX

[11]

...

[12]

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

[13]

Erich Grädel, Yuri Gurevich: Metafinite Model Theory. LCC 1994: 313-366 BibTeX

[14]

Timothy Griffin, Howard Trickey: Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17(2): 43-46(1994) BibTeX

[15]

...

[16]

Stéphane Grumbach, Christophe Tollu: Query Languages with Counters. ICDT 1992: 124-139 BibTeX

[17]

...

[18]

...

[19]

Leonid Libkin, Limsoon Wong: New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. PODS 1994: 155-166 BibTeX

[20]

Leonid Libkin, Limsoon Wong: On Representation and Querying Incomplete Information in Databases with Bags. Inf. Process. Lett. 56(4): 209-214(1995) BibTeX

[21]

Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht: First-order Queries on Finite Structures over the Reals. LICS 1995: 79-87 BibTeX

[22]

Xiaolei Qian: An Effective Method for Integrity Constraint Simplification. ICDE 1988: 338-345 BibTeX

[23]

...

[24]

...

[25]

Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154 BibTeX

[26]

Martin Otto, Jan Van den Bussche: First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. 60(1): 37-41(1996) BibTeX

Referenced by

1. Luca Cabibbo, Riccardo Torlone: A Framework for the Investigation of Aggregate Functions in Database Queries. ICDT 1999: 383-397