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
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