ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Expressive Power of SQL.

Leonid Libkin: Expressive Power of SQL. ICDT 2001: 1-21
@inproceedings{DBLP:conf/icdt/Libkin01,
  author    = {Leonid Libkin},
  editor    = {Jan Van den Bussche and
               Victor Vianu},
  title     = {Expressive Power of SQL},
  booktitle = {Database Theory - ICDT 2001, 8th International Conference, London,
               UK, January 4-6, 2001, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1973},
  year      = {2001},
  isbn      = {3-540-41456-8},
  pages     = {1-21},
  ee        = {db/conf/icdt/Libkin01.html, http://link.springer.de/link/service/series/0558/bibs/1973/19730001.htm},
  crossref  = {DBLP:conf/icdt/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX

Online Edition: Springer LINK

Citation Page BibTeX

References

[1]
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX
[2]
Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
[3]
David A. Mix Barrington, Neil Immerman, Howard Straubing: On Uniformity within NC¹. J. Comput. Syst. Sci. 41(3): 274-306(1990) BibTeX
[4]
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
[5]
Joe Celko: SQL for Smarties: Advanced SQL Programming, Second Edition. Morgan Kaufmann 1999, ISBN 1-55860-576-2
BibTeX
[6]
Mariano P. Consens, Alberto O. Mendelzon: Low Complexity Aggregation in GraphLog and Datalog. Theor. Comput. Sci. 116(1&2): 95-116(1993) BibTeX
[7]
C. J. Date, Hugh Darwen: A Guide to SQL Standard, 4th Edition. Addison-Wesley 1997, ISBN 0-201-96426-0
BibTeX
[8]
Guozhu Dong, Leonid Libkin, Limsoon Wong: Local properties of query languages. Theor. Comput. Sci. 239(2): 277-308(2000) BibTeX
[9]
Martin Grohe, Thomas Schwentick: Locality of order-invariant first-order formulas. ACM Trans. Comput. Log. 1(1): 112-130(2000) BibTeX
[10]
Kousha Etessami: Counting Quantifiers, Successor Relations, and Logarithmic Space. J. Comput. Syst. Sci. 54(3): 400-411(1997) BibTeX
[11]
Ronald Fagin, Larry J. Stockmeyer, Moshe Y. Vardi: On Monadic NP vs. Monadic co-NP. Inf. Comput. 120(1): 78-92(1995) BibTeX
[12]
...
[13]
...
[14]
Erich Grädel, Yuri Gurevich: Metafinite Model Theory. Inf. Comput. 140(1): 26-81(1998) BibTeX
[15]
...
[16]
Lauri Hella: Logical Hierarchies in PTIME. Inf. Comput. 129(1): 1-19(1996) BibTeX
[17]
...
[18]
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong: Logics with Aggregate Operators. LICS 1999: 35-44 BibTeX
[19]
...
[20]
Anthony C. Klug: Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions. J. ACM 29(3): 699-717(1982) BibTeX
[21]
Leonid Libkin: On the Forms of Locality over Finite Models. LICS 1997: 204-215 BibTeX
[22]
Leonid Libkin: Logics with counting and local properties. ACM Trans. Comput. Log. 1(1): 33-59(2000) BibTeX
[23]
Leonid Libkin, Limsoon Wong: Query Languages for Bags and Aggregate Functions. J. Comput. Syst. Sci. 55(2): 241-272(1997) BibTeX
[24]
Leonid Libkin, Limsoon Wong: On the Power of Aggregation in Relational Query Languages. DBPL 1997: 260-280 BibTeX
[25]
Patrick E. O'Neil: Database Principles, Programming, Performance. Morgan Kaufmann 1994, ISBN 1-55860-219-4,1-55860-392-1
BibTeX
[26]
Ian Parberry, Georg Schnitger: Parallel Computation with Threshold Functions. J. Comput. Syst. Sci. 36(3): 278-302(1988) BibTeX
[27]
Alexander A. Razborov, Steven Rudich: Natural Proofs. J. Comput. Syst. Sci. 55(1): 24-35(1997) BibTeX
[28]
Philip Wadler: Comprehending Monads. Mathematical Structures in Computer Science 2(4): 461-493(1992) BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:16 2009