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

Eucil, Tarski, and Engler Encompassed (Preliminary Report).

Jan Paredaens, Bart Kuijpers, Gabriel M. Kuper, Luc Vandeurzen: Eucil, Tarski, and Engler Encompassed (Preliminary Report). DBPL 1997: 1-24
@inproceedings{DBLP:conf/dbpl/ParedaensKKV97,
  author    = {Jan Paredaens and
               Bart Kuijpers and
               Gabriel M. Kuper and
               Luc Vandeurzen},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Eucil, Tarski, and Engler Encompassed (Preliminary Report)},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {1-24},
  ee        = {db/conf/dbpl/ParedaensKKV97.html},
  crossref  = {DBLP:conf/dbpl/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[1]
David J. Abel, Beng Chin Ooi (Eds.): Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings. Lecture Notes in Computer Science 692 Springer 1993, ISBN 3-540-56869-7
Contents BibTeX
[2]
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX
[3]
Foto N. Afrati, Theodoros Andronikos, Theodoros G. Kavalieros: On the Expressiveness of First-Order Constraint Languages. CDB 1995: 22-39 BibTeX
[4]
Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper: Linear vs Polynomial Constraints in Database Query Languages. PPCP 1994: 181-192 BibTeX
[5]
...
[6]
Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Y.-F. Wang (Eds.): Design and Implementation of Large Spatial Databases, First Symposium SSD'89, Santa Barbara, California, July 17/18, 1989, Proceedings. Lecture Notes in Computer Science 409 Springer 1990, ISBN 3-540-52208-5
Contents BibTeX
[7]
...
[8]
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
[9]
Max J. Egenhofer, John R. Herring (Eds.): Advances in Spatial Databases, 4th International Symposium, SSD'95, Portland, Maine, USA, August 6-9, 1995, Proceedings. Lecture Notes in Computer Science 951 Springer 1995, ISBN 3-540-60159-7
Contents BibTeX
[10]
...
[11]
...
[12]
...
[13]
...
[14]
Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin: DEDALE, A Spatial Constraint Database. DBPL 1997: 38-59 BibTeX
[15]
Stéphane Grumbach, Jianwen Su: Finitely Representable Databases. PODS 1994: 289-300 BibTeX
[16]
Stéphane Grumbach, Jianwen Su: Towards Practical Constraint Databases. PODS 1996: 28-39 BibTeX
[17]
Stéphane Grumbach, Jianwen Su: Queries with Arithmetical Constraints. Theor. Comput. Sci. 173(1): 151-181(1997) BibTeX
[18]
Stéphane Grumbach, Jianwen Su, Christophe Tollu: Linear Constraint Query Languages: Expressive Power and Complexity. LCC 1994: 426-446 BibTeX
[19]
Oliver Günther, Hans-Jörg Schek (Eds.): Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings. Lecture Notes in Computer Science 525 Springer 1991, ISBN 3-540-54414-3
Contents BibTeX
[20]
...
[21]
...
[22]
John E. Hopcroft, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation. Addison-Wesley 1979, ISBN 0-201-02988-X
BibTeX
[23]
Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. J. Comput. Syst. Sci. 51(1): 26-52(1995) BibTeX
[24]
Jean-Louis Lassez: Querying Constraints. PODS 1990: 288-298 BibTeX
[25]
Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht: Towards a Theory of Spatial Database Queries. PODS 1994: 279-288 BibTeX
[26]
Franco P. Preparata, Michael Ian Shamos: Computational Geometry - An Introduction. Springer 1985, ISBN 3-540-96131-3
BibTeX
[27-1]
James Renegar: On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I: Introduction. Preliminaries. The Geometry of Semi-Algebraic Sets. The Decision Problem for the Existential Theory of the Reals. J. Symb. Comput. 13(3): 255-300(1992) BibTeX
[27-2]
James Renegar: On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part II: The General Decision Problem. Preliminaries for Quantifier Elimination. J. Symb. Comput. 13(3): 301-328(1992) BibTeX
[27-3]
James Renegar: On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part III: Quantifier Elimination. J. Symb. Comput. 13(3): 329-352(1992) BibTeX
[28]
Michel Scholl, Agnès Voisard (Eds.): Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings. Lecture Notes in Computer Science 1262 Springer 1997, ISBN 3-540-63238-7
Contents BibTeX
[29]
...
[30]
Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht: On the Desirability and Limitations of Linear Spatial Database Models. SSD 1995: 14-28 BibTeX
[31]
Luc Vandeurzen, Marc Gyssens, Dirk Van Gucht: On Query Languages for Linear Queries Definable with Polynomial Constraints. CP 1996: 468-481 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
DBLP-6, 1997 Proceedings, Lecture Notes in Computer Science: Copyright © by Springer
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:06:03 2009