Fixed-Point Query Languages for Linear Constraint Databases.

@inproceedings{DBLP:conf/pods/Kreutzer00,
  author    = {Stephan Kreutzer},
  title     = {Fixed-Point Query Languages for Linear Constraint Databases},
  booktitle = {Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium
               on Principles of Database Systems, May 15-17, 2000, Dallas, Texas,
               USA},
  publisher = {ACM},
  year      = {2000},
  isbn      = {1-58113-214-X},
  pages     = {116-125},
  ee        = {http://doi.acm.org/10.1145/335168.335214, db/conf/pods/Kreutzer00.html},
  crossref  = {DBLP:conf/pods/00},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 2000 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Richard J. Anderson, Paul Beame, Erik Brisson: Parallel Algorithms for Arrangements. Algorithmica 15(2): 104-125(1996) BibTeX

[2]

Freddy Dumortier, Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht: On the Decidability of Semi-Linearity of Semi-Algebraic Sets and Its Implications for Spatial Databases. PODS 1997: 68-77 BibTeX

[3]

...

[4]

...

[5]

...

[6]

...

[7]

...

[8]

Erich Grädel, Yuri Gurevich: Metafinite Model Theory. Inf. Comput. 140(1): 26-81(1998) BibTeX

[9]

Erich Grädel, Stephan Kreutzer: Descriptive Complexity Theory for Constraint Databases. CSL 1999: 67-81 BibTeX

[10]

...

[11]

Stéphane Grumbach, Gabriel M. Kuper: Tractable Recursion over Geometric Data. CP 1997: 450-462 BibTeX

[12]

Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. J. Comput. Syst. Sci. 55(2): 273-298(1997) BibTeX

[13]

Stéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181(1997) BibTeX

[14]

David Harel: Towards a Theory of Recursive Structures. MFCS 1998: 36-53 BibTeX

[15]

...

[16]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. J. Comput. Syst. Sci. 51(1): 26-52(1995) BibTeX

[17]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313 BibTeX

[18]

Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche: Termination Properties of Spatial Datalog Programs. Logic in Databases 1996: 101-116 BibTeX

[19]

Gabriel M. Kuper, Leonid Libkin, Jan Paredaens: Introduction. Constraint Databases 2000: 1-16 BibTeX

[20]

...

[21]

Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht: On the Desirability and Limitations of Linear Spatial Database Models. SSD 1995: 14-28 BibTeX

[22]

Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht: On Query Languages for Linear Queries Definable with Polynomial Constraints. CP 1996: 468-481 BibTeX

[23]

...

Referenced by

1. Stephan Kreutzer: Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls. ICDT 2001: 248-262
2. Jan Van den Bussche: Constraint databases: A tutorial introduction. SIGMOD Record 29(3): 44-51(2000)