{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:26Z","timestamp":1725665006338},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648239"},{"type":"electronic","value":"9783540685340"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64823-2_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:41:21Z","timestamp":1330299681000},"page":"1-24","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Euclid, Tarski, and Engeler encompassed"],"prefix":"10.1007","author":[{"given":"Jan","family":"Paredaens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Kuijpers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Kuper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Vandeurzen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"volume-title":"Proceedings of the 3rd International Symposium on Spatial Databases, volume 692 of Lecture Notes in Computer Science","year":"1993","key":"1_CR1","unstructured":"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."},{"key":"1_CR2","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995."},{"key":"1_CR3","first-page":"22","volume-title":"Proceedings of the 1st Workshop on Constraint Databases and their Applications, volume 1034 of Lecture Notes in Computer Science","author":"F. Afrati","year":"1995","unstructured":"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\u201339, Berlin, 1995. Springer-Verlag."},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-58601-6_100","volume-title":"Proceedings of the 2nd International Workshop on Principles and Practice of Constraint Programming, volume 874 of Lecture Notes in Computer Science","author":"F. Afrati","year":"1994","unstructured":"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\u2013192, Berlin, 1994. Springer-Verlag."},{"key":"1_CR5","volume-title":"G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle","author":"J. Bochnak","year":"1987","unstructured":"J. Bochnak, M. Coste, and M.F. Roy. G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle. Springer-Verlag, Berlin, 1987."},{"volume-title":"Proceedings of the 1st International Symposium on Spatial Databases, volume 409 of Lecture Notes in Computer Science","year":"1989","key":"1_CR6","unstructured":"A. Buchmann, editor. Proceedings of the 1st International Symposium on Spatial Databases, volume 409 of Lecture Notes in Computer Science, Berlin, 1989. Springer-Verlag."},{"key":"1_CR7","first-page":"134","volume-title":"Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science","author":"G.E. Collins","year":"1975","unstructured":"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\u2013183, Berlin, 1975. Springer-Verlag."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/263661.263670","volume-title":"Proceedings of the 16th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"F. Dumortier","year":"1997","unstructured":"F. Dumortier, M. Gyssens, L. Vandeurzen, and D. Van Gucht. 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\u201377, New York, 1997. ACM Press."},{"volume-title":"Proceedings of the 4th International Symposium on Spatial Databases, volume 951 of Lecture Notes in Computer Science","year":"1995","key":"1_CR9","unstructured":"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."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/BFb0079682","volume-title":"The Syntax and Semantics of Infinitary Languages, volume 72 of Lecture Notes in Matemathics","author":"E. Engeler","year":"1968","unstructured":"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\u201376, Berlin, 1968. Springer-Verlag."},{"key":"1_CR11","volume-title":"Foundations of Mathematics","author":"E. Engeler","year":"1992","unstructured":"E. Engeler. Foundations of Mathematics. Springer-Verlag, Berlin, 1992."},{"key":"1_CR12","volume-title":"Euclides Elementorum Geometricorum Lib. XV","author":"Euclid","year":"1537","unstructured":"Euclid. Euclides Elementorum Geometricorum Lib. XV. Basileae: Apud Iohannem Hervagium, 1537."},{"key":"1_CR13","first-page":"105","volume-title":"Proceedings of the 2nd Workshop on Constraint Databases and Applications, volume 1191 of Lecture Notes in Computer Science","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach. Implementing linear constraint databases. In V. Gaede, A. Brodsky, O. G\u00fcnther, 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\u2013115, Berlin, 1997. Springer-Verlag."},{"key":"1_CR14","unstructured":"S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. Dedale, a spatial constraint database. In this volume."},{"key":"1_CR15","first-page":"289","volume-title":"Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"S. Grumbach","year":"1994","unstructured":"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\u2013300, New York, 1994. ACM Press."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/237661.237672","volume-title":"Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"S. Grumbach","year":"1996","unstructured":"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\u201339, New York, 1996. ACM Press."},{"issue":"1","key":"1_CR17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0304-3975(96)00194-6","volume":"173","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach and J. Su. Queries with arithmetical constraints. Theoretical Computer Science, 173(1):151\u2013181, 1997.","journal-title":"Theoretical Computer Science"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"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\u2013446. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-60178-3_96"},{"volume-title":"Proceedings of the 2nd International Symposium on Spatial Databases, volume 525 of Lecture Notes in Computer Science","year":"1991","key":"1_CR19","unstructured":"O. G\u00fcnther 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."},{"key":"1_CR20","volume-title":"The thirteen books of Euclid's Elements","author":"T. Heath","year":"1956","unstructured":"T. Heath. The thirteen books of Euclid's Elements. Dover, New York, 1956."},{"key":"1_CR21","volume-title":"Grundlagen der Geometrie","author":"D. Hilbert","year":"1930","unstructured":"D. Hilbert. Grundlagen der Geometrie. Springer-Verlag, Berlin, 1930."},{"key":"1_CR22","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"J.E. Hopcroft and J.D Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Massachusetts, 1979."},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51:26\u201352, 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR24","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1145\/298514.298581","volume-title":"Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"J. L. Lassez","year":"1990","unstructured":"J. L. Lassez. Querying constraints. In Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 288\u2013298, New York, 1990. ACM Press."},{"key":"1_CR25","first-page":"279","volume-title":"Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","author":"J. Paredaens","year":"1994","unstructured":"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\u2013288, New York, 1994. ACM Press."},{"key":"1_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1098-6","volume-title":"Computational Geometry","author":"M.F. Preparata","year":"1985","unstructured":"M.F. Preparata and M.I. Shamos. Computational Geometry. Springer-Verlag, New York, 1985."},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1989","unstructured":"J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255\u2013352, 1989.","journal-title":"Journal of Symbolic Computation"},{"volume-title":"Proceedings of the 5th International Symposium on Spatial Databases, volume 1262 of Lecture Notes in Computer Science","year":"1997","key":"1_CR28","unstructured":"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."},{"key":"1_CR29","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 1951."},{"key":"1_CR30","first-page":"14","volume-title":"Proceedings of the 4th International Symposium on Spatial Databases, volume 951 of Lecture Notes in Computer Science","author":"L. Vandeurzen","year":"1995","unstructured":"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\u201328, Berlin, 1995. Springer-Verlag."},{"key":"1_CR31","first-page":"468","volume-title":"Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming, volume 1118 of Lecture Notes in Computer Science","author":"L. Vandeurzen","year":"1996","unstructured":"L. Vandeurzen, M. Gyssens, and D. Van Gucht. On query languages for linear queries definable with polynomial constraints. In E.C. Freuder, editor, Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming, volume 1118 of Lecture Notes in Computer Science, pages 468\u2013481, Berlin, 1996. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64823-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:30:54Z","timestamp":1687289454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64823-2_1"}},"subtitle":["Preliminary report"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648239","9783540685340"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-64823-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"6 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}