Euclid, tarski, and engeler encompassed

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1369 LNCS, Issue , 1998, Pages 1-24

  Paredaens, Jan ^a   Kuijpers, Bart ^a   Kuper, Gabriel ^b   Vandeurzen, Luc ^c  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b LUCENT TECHNOLOGIES   (United States)

^c HASSELT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; POLYNOMIALS; QUERY PROCESSING;

ARBITRARY POLYNOMIAL; CONSTRAINT DATABASES; CONSTRAINT LANGUAGE; CONSTRAINT MODEL; EUCLIDEAN DISTANCE; FIRST-ORDER LANGUAGE; LINEAR POLYNOMIALS; SPATIAL APPLICATIONS;

QUERY LANGUAGES;

EID: 0342959277     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64823-2_1     Document Type: Conference Paper

References (31)

1. D. Abel and B.C. Ooi, editors. Proceedings of the 3rd International Symposium on Spatial Databases, Volume 692 of Lecture Notes in Computer Science, Berlin, 1993. Springer-Verlag.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
3. F. Afrati, T. Andronikos, and T. Kavalieros. On the expressiveness of first-order constraint languages. In G. Kuper and M. Wallace, editors, Proceedings of the 1st Workshop on Constraint Databases and their Applications, Volume 1034 of Lecture Notes in Computer Science, pages 22-39, Berlin, 1995. Springer-Verlag.
4. F. Afrati, S. Cosmadakis, S. Grumbach, and G. Kuper. Linear versus polynomial constraints in database query languages. In A. Borning, editor, Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming, Volume 874 of Lecture Notes in Computer Science, pages 181-192, Berlin, 1994. Springer-Verlag.
5. J. Bochnak, M. Coste, and M.F. Roy. Géométrie Algébrique Réelle. Springer-Verlag, Berlin, 1987.
6. A. Buchmann, editor. Proceedings of the 1st International Symposium on Spatial Databases, Volume 409 of Lecture Notes in Computer Science, Berlin, 1989. Springer-Verlag.
7. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In H. Brakhage, editor, Automata Theory and Formal Languages, Volume 33 of Lecture Notes in Computer Science, pages 134-183, Berlin, 1975. Springer-Verlag.
8. F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Glicht. On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases. In Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 68-77, New York, 1997. ACM Press.
9. M.J. Egenhofer and J.R. Herring, editors. Proceedings of the 4th International Symposium on Spatial Databases, Volume 951 of Lecture Notes in Computer Science, Berlin, 1995. Springer-Verlag.
10. E. Engeler. Remarks on the theory of geometrical constructions. In A. Dold and B. Echraun, editors, The Syntax and Semantics of Infinitary Languages, Volume 72 of Lecture Notes in Matemathics, pages 64-76, Berlin, 1968. Springer-Verlag.
11. E. Engeler. Foundations of Mathematics. Springer-Verlag, Berlin, 1992.
12. Euclid. Euclides Elementorum Geometricorum Lib. XV. Basileae: Apud Iohannem Hervagiurn, 1537.
13. S. Grumbach. Implementing linear constraint databases. In V. Gaede, A. Brodsky, O. Günther, D. Srivastava, V. Vianu, and M. Wallace, editors, Proceedings of the 2nd Workshop on Constraint Databases and Applications, Volume 1191 of Lecture Notes in Computer Science, pages 105-115, Berlin, 1997. Springer-Verlag.
14. S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. Dedale, a spatial constraint database. In this volume.
15. S. Grumbach and J. Su. Finitely representable databases. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 289-300, New York, 1994. ACM Press.
16. S. Grumbach and J. Su. Towards practical constraint databases. In Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 28-39, New York, 1996. ACM Press.
17. S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151-181, 1997.
18. S. Grumbach, J. Su, and C. Tollu. Linear constraint query languages: Expressive power and complexity. In D. Leivant, editor, Proceedings of the Logic and Computational Complexity Workshop, Volume 960 of Lecture Notes in Computer Science, pages 426-446. Springer-Verlag, 1994.
19. O. Günther and H.-J. Schek, editors. Proceedings of the 2nd International Symposium on Spatial Databases, Volume 525 of Lecture Notes in Computer Science, Berlin, 1991. Springer-Verlag.
20. T. Heath. The thirteen books of Euclid's Elements. Dover, New York, 1956.
21. D. Hilbert. Grundlagen der Geometric Springer-Verlag, Berlin, 1930.
22. J.E. Hopcroft and J.D Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979.
23. P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51:26-52, 1995.
24. J. L. Lassez. Querying constraints. In Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 288-298, New York, 1990. ACM Press.
25. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 279-288, New York, 1994. ACM Press.
26. M.F. Preparata and M.I. Shamos. Computational Geometry. Springer-Verlag, New York, 1985.
27. J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255-352, 1989.
28. M. Scholl and A. Voisard, editors. Proceedings of the 5th International Symposium on Spatial Databases, Volume 1262 of Lecture Notes in Computer Science, Berlin, 1997. Springer-Verlag.
29. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 1951.
30. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On the desirability and limitations of linear spatial query languages. In M.J. Egenhofer and J.R. Herring, editors, Proceedings of the 4th International Symposium on Spatial Databases, Volume 951 of Lecture Notes in Computer Science, pages 14-28, Berlin, 1995. Springer-Verlag.
31. L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In B.C. Ereuder, editor, Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming, Volume 1118 of Lecture Notes in Computer Science, pages 468-481, Berlin, 1996. Springer-Verlag.