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

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

Online Edition: Springer LINK

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