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