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

Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls.

Stephan Kreutzer: Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. ICDT 2001: 248-262
@inproceedings{DBLP:conf/icdt/Kreutzer01,
  author    = {Stephan Kreutzer},
  editor    = {Jan Van den Bussche and
               Victor Vianu},
  title     = {Query Languages for Constraint Databases: First-Order Logic,
               Fixed-Points, and Convex Hulls},
  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     = {248-262},
  ee        = {db/conf/icdt/Kreutzer01.html, http://link.springer.de/link/service/series/0558/bibs/1973/19730248.htm},
  crossref  = {DBLP:conf/icdt/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX

Online Edition: Springer LINK

Citation Page BibTeX

References

[BCSS98]
...
[BSS89]
...
[CJ98]
...
[Col75]
...
[Ede87]
...
[EF95]
...
[GK97]
Stéphane Grumbach, Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997: 450-462 BibTeX
[GK99]
Erich Grädel, Stephan Kreutzer: Descriptive Complexity Theory for Constraint Databases. CSL 1999: 67-81 BibTeX
[GK00]
Floris Geerts, Bart Kuijpers: Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. PODS 2000: 126-135 BibTeX
[GO97]
...
[GS97]
Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55(2): 273-298(1997) BibTeX
[KKR90]
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313 BibTeX
[KLP00]
Gabriel M. Kuper, Leonid Libkin, Jan Paredaens: Introduction. Constraint Databases 2000: 1-16 BibTeX
[KPSV96]
Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche: Termination Properties of Spatial Datalog Programs. Logic in Databases 1996: 101-116 BibTeX
[Kre00]
Stephan Kreutzer: Fixed-Point Query Languages for Linear Constraint Databases. PODS 2000: 116-125 BibTeX
[Van99]
...
[VGG98]
Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht: An Expressive Language for Linear Spatial Database Queries. PODS 1998: 109-118 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:17 2009