{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T09:10:22Z","timestamp":1737364222002,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414568"},{"type":"electronic","value":"9783540445036"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44503-x_17","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T04:25:32Z","timestamp":1186892732000},"page":"248-262","source":"Crossref","is-referenced-by-count":4,"title":["Query Languages for Constraint Databases: First-Order Logic, Fixed-Points, and Convex Hulls"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Kreutzer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,12]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"L. Blum, F. Cucker, M. Shub, and S. Smale. Complexity and Real Computation. Springer, 1998.","DOI":"10.1007\/978-1-4612-0701-6"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"L. Blum, M. Shub, and S. Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathmatical Society, 21:1\u201346, 1989.","journal-title":"Bulletin of the American Mathmatical Society"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"B.F. Caviness and J.R. Johnson, editors. Quantifier Elimination and Cylindric Algebraic Decomposition. Springer, 1998.","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G. E. Collins","year":"1975","unstructured":"George E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Automata Theory and Formal Languages, number 33 in LNCS, pages 134\u2013183, Berlin, 1975. Springer-Verlag."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"H. Edelsbrunner. Algorithms in Combinatorial Geometry. EATCS Monographs on Theoretical Computer Science. Springer, 1987.","DOI":"10.1007\/978-3-642-61568-9"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, 1995.","DOI":"10.1007\/3-540-28788-4"},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/BFb0017459","volume-title":"Principles and Practice of Constraint Programming","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach and G. M. Kuper. Tractable recursion over geometric data. In Principles and Practice of Constraint Programming, number 1330 in LNCS, pages 450\u2013462. Springer, 1997."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"E. Gr\u00e4del and S. Kreutzer. Descriptive complexity theory for constraint databases. In Computer Science Logic, number 1683 in as LNCS, pages 67\u201382. Springer, 1999.","DOI":"10.1007\/3-540-48168-0_6"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"F. Geerts and B. Kuijpers. Linear approximation of planar spatial databases using transitive-closure logic. In PODS 2000, pages 126\u2013135. ACM Press, 2000.","DOI":"10.1145\/335168.335215"},{"key":"17_CR10","unstructured":"Jacob E. Goodman and Joseph O\u2019Rourke, editors. Handbook of Discrete and Computational Geometry. CRC Press, 1997."},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/jcss.1997.1524","volume":"55","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55:273\u2013298, 1997.","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz. Constraint query languages. In PODS 1990, pages 299\u2013313, 1990.","DOI":"10.1145\/298514.298582"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"G. Kuper, L. Libkin, and J. Paredaens, editors. Constraint Databases. Springer, 2000.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BFb0031737","volume-title":"Logic in Databases","author":"B. Kuijpers","year":"1996","unstructured":"B. Kuijpers, J. Paredaens, M. Smits, and J. Van den Bussche. Termination properties of spatial datalog programs. In Logic in Databases, number 1154 in LNCS, pages 101\u2013116, 1996."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"S. Kreutzer. Fixed-point query languages for linear constraint databases. In PODS 2000, pages 116\u2013125. ACM press, 2000.","DOI":"10.1145\/335168.335214"},{"key":"17_CR16","unstructured":"L. Vandeurzen. Logic-Based Query Languages for the Linear Constraint Database Model. PhD thesis, Limburgs Universitair Centrum, 1999."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"L. Vandeurzen, M. Gyssens, and D. Van Gucht. An expressive language for linear spatial database queries. In PODS 1998, pages 109\u2013118, 1998.","DOI":"10.1145\/275487.275500"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44503-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:36:37Z","timestamp":1737362197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44503-X_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540414568","9783540445036"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44503-x_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}