{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T17:32:41Z","timestamp":1787506361795,"version":"build-2736575974"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540618140","type":"print"},{"value":"9783540706830","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031737","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:44:07Z","timestamp":1134265447000},"page":"99-116","source":"Crossref","is-referenced-by-count":8,"title":["Termination properties of spatial Datalog programs"],"prefix":"10.1007","author":[{"given":"Bart","family":"Kuijpers","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Smits","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0004-3702(88)90049-5","volume":"37","author":"D.S. Arnon","year":"1988","unstructured":"D.S. Arnon. Geometric reasoning with logic and algebra. Artificial Intelligence, 37:37\u201360, 1988.","journal-title":"Artificial Intelligence"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. In Proceedings 15th ACM Symposium on Principles of Database Systems. ACM Press, 1996.","DOI":"10.1145\/237661.237667"},{"key":"4_CR3","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. G\u00e9om\u00e9trie alg\u00e9brique r\u00e9elle. Springer-Verlag, 1987."},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume":"33","author":"G.E. Collins","year":"1975","unstructured":"G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, 33:134\u2013183, 1975.","journal-title":"Lecture Notes in Computer Science"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"M. Coste. Ensembles semi-alg\u00e9briques. In G\u00e9ometrie alg\u00e9brique r\u00e9elle et formes quadratiques, volume 959 of Lecture Notes in Mathematics, pages 109\u2013138. Springer, 1982.","DOI":"10.1007\/BFb0062252"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"S. Grumbach and J. Su. First-order definability over constraint databases. In Montanari and Rossi [10], pages 121\u2013136.","DOI":"10.1007\/3-540-60299-2_8"},{"key":"4_CR7","unstructured":"M. Gyssens, J. Paredaens, J. Van den Bussche, and D. Van Gucht. Computable queries for spatial database systems. In preparation."},{"issue":"1","key":"4_CR8","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(1):26\u201352, August 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"E.E. Moise. Geometric topology in dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer, 1977.","DOI":"10.1007\/978-1-4612-9906-6"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi, editors. Principles and practice of constraint programming, volume 976 of Lecture Notes in Computer Science. Springer, 1995.","DOI":"10.1007\/3-540-60299-2"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings 13th ACM Symposium on Principles of Database Systems, pages 279\u2013288. ACM Press, 1994.","DOI":"10.1145\/182591.182640"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13, 1992.","DOI":"10.1016\/S0747-7171(10)80005-7"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(93)90222-F","volume":"116","author":"P.Z. Revesz","year":"1993","unstructured":"P.Z. Revesz. A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theoretical Computer Science, 116:117\u2013149, 1993.","journal-title":"Theoretical Computer Science"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"P.Z. Revesz. Safe stratified Datalog with integer order programs. In Montanari and Rossi [10], pages 154\u2013169.","DOI":"10.1007\/3-540-60299-2_10"},{"key":"4_CR15","first-page":"51","volume-title":"Planning, Geometry, and Complexity of Robot Motion","author":"J.T. Schwartz","year":"1987","unstructured":"J.T. Schwartz and M. Sharir. On the piano movers' problem II. In J.T. Schwartz, M. Sharir, and J. Hopcroft, editors, Planning, Geometry, and Complexity of Robot Motion, pages 51\u201396. Ablex Publishing Corporation, Norwood, New Jersey, 1987."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.","DOI":"10.1525\/9780520348097"},{"key":"4_CR17","unstructured":"J. Ullman. Principles of Database and Knowledge-Base Systems, volume I. Computer Science Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031737","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T03:33:41Z","timestamp":1626838421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0031737","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}