Complete geometric query languages

Journal of Computer and System Sciences

Volumn 58, Issue 3, 1999, Pages 483-511

  Gyssens, Marc ^a   Van Den Bussche, Jan ^a   Van Gucht, Dirk ^b  

^a HASSELT UNIVERSITY   (Belgium)

^b INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA STRUCTURES; RELATIONAL DATABASE SYSTEMS;

CONSTRAINT BASED DATA MODEL; RELATIONAL CALCULUS;

QUERY LANGUAGES;

EID: 0032680089     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1999.1630     Document Type: Article

References (16)

1. S. Abiteboul and V. Vianu, Procedural languages for database queries and updates, J. Comput. System Sci. 41, No. 2 (1990), 181-229.
2. M. Benedikt, G. Dong, L. Libkin, and L. Wong, Relational expressive power of constraint query languages, J. Assoc. Comput. Mach. 45, No. 1 (1998), 1-34.
3. A. Chandra and D. Harel, Computable queries for relational data bases, J. Comput. System Sci. 21, No. 2 (1980), 156-178.
4. H. B. Enderton, "A Mathematical Introduction to Logic," Academic Press, New York, 1972.
5. D. Gans, "Transformations and Geometries," Meredith Corp., New York, 1969.
6. S. Grumbach and J. Su, Queries with arithmetical constraints, Theor. Comput. Sci. 173, No. 1 (1997), 151-181.
7. P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz, Constraint query languages, J. Comput. System Sci. 51, No. 1 (1995), 26-52.
8. B. Kuijpers, J. Paredaens, and D. Suciu, unpublished, University of Antwerp, 1995.
9. G. McCarty, "Topology: An Introduction with Applications to Topological Groups," McGraw-Hill, New York, 1967.
10. C. H. Papadimitriou, D. Suciu, and V. Vianu, Topological queries in spatial databases, in "Proceedings 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Montreal, Quebec, Canada," pp. 81-92, Assoc. Comput. Mach., New York, 1996.
11. J. Paredaens, J. Van den Bussche, and D. Van Gucht, Towards a theory of spatial database queries, in "Proceedings 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Minneapolis, Minnesota," pp. 2790-288, Assoc. Comput. Mach., New York, 1994.
12. W. Schwabhäuser, W. Szmielew, and A. Tarski, "Metamathematische Methoden in der Geometrie," Springer-Verlag, Berlin, 1983.
13. J. Schwartz and M. Sharir, On the 'Piano Movers' Problem. II. General Techniques for Computing Topological Properties of Real Algebraic Manifolds, Adv. Appl. Math. 4 (1983), 298-351.
14. A. Tarski, "A Decision Method for Elementary Algebra and Geometry," Univ. California Press, Berkeley, CA, 1951.
15. A. Tarski, What is elementary geometry?, in "The Axiomatic Method" (L. Henkin, P. Suppes, and A. Tarski, Eds.), pp. 16-29, North Holland, Amsterdam, 1959.
16. L. Van Den Dries, Alfred Tarski's elimination theory for real closed fields, J. Symbolic Logic 53 (1988), 7-19.