{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T09:54:02Z","timestamp":1717754042760},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1999,6,1]],"date-time":"1999-06-01T00:00:00Z","timestamp":928195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5160,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computer and System Sciences"],"published-print":{"date-parts":[[1999,6]]},"DOI":"10.1006\/jcss.1999.1630","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T13:06:47Z","timestamp":1033996007000},"page":"483-511","source":"Crossref","is-referenced-by-count":25,"title":["Complete Geometric Query Languages"],"prefix":"10.1006","volume":"58","author":[{"given":"Marc","family":"Gyssens","sequence":"first","affiliation":[]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1006\/jcss.1999.1630_RF1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0022-0000(90)90036-K","article-title":"Procedural languages for database queries and updates","volume":"41","author":"Abiteboul","year":"1990","journal-title":"J. Comput. System Sci."},{"key":"10.1006\/jcss.1999.1630_RF2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/273865.273870","article-title":"Relational expressive power of constraint query languages","volume":"45","author":"Benedikt","year":"1998","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1006\/jcss.1999.1630_RF3","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","article-title":"Computable queries for relational data bases","volume":"21","author":"Chandra","year":"1980","journal-title":"J. Comput. System Sci."},{"key":"10.1006\/jcss.1999.1630_RF4","series-title":"A Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1006\/jcss.1999.1630_RF5","series-title":"Transformations and Geometries","author":"Gans","year":"1969"},{"key":"10.1006\/jcss.1999.1630_RF6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0304-3975(96)00194-6","article-title":"Queries with arithmetical constraints","volume":"173","author":"Grumbach","year":"1997","journal-title":"Theor. Comput. Sci."},{"key":"10.1006\/jcss.1999.1630_RF7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1006\/jcss.1995.1051","article-title":"Constraint query languages","volume":"51","author":"Kanellakis","year":"1995","journal-title":"J. Comput. System Sci."},{"key":"10.1006\/jcss.1999.1630_RF8","unstructured":"B. Kuijpers, J. Paredaens, and, D. Suciu, unpublished, University of Antwerp, 1995."},{"key":"10.1006\/jcss.1999.1630_RF9","series-title":"Topology: An Introduction with Applications to Topological Groups","author":"McCarty","year":"1967"},{"key":"10.1006\/jcss.1999.1630_RF10","series-title":"Proceedings 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Montreal, Quebec, Canada","article-title":"Topological queries in spatial databases","author":"Papadimitriou","year":"1996"},{"key":"10.1006\/jcss.1999.1630_RF11","series-title":"Proceedings 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Minneapolis, Minnesota","article-title":"Towards a theory of spatial database queries","author":"Paredaens","year":"1994"},{"key":"10.1006\/jcss.1999.1630_RF12","series-title":"Metamathematische Methoden in der Geometrie","author":"Schwabh\u00e4user","year":"1983"},{"key":"10.1006\/jcss.1999.1630_RF13","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1016\/0196-8858(83)90014-3","article-title":"On the \u2018Piano Movers\u2019 Problem. II. General Techniques for Computing Topological Properties of Real Algebraic Manifolds","volume":"4","author":"Schwartz","year":"1983","journal-title":"Adv. Appl. Math."},{"key":"10.1006\/jcss.1999.1630_RF14","series-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"10.1006\/jcss.1999.1630_RF15","series-title":"The Axiomatic Method","first-page":"16","article-title":"What is elementary geometry?","author":"Tarski","year":"1959"},{"key":"10.1006\/jcss.1999.1630_RF16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.2307\/2274424","article-title":"Alfred Tarski's elimination theory for real closed fields","volume":"53","author":"Van Den Dries","year":"1988","journal-title":"J. Symbolic Logic"}],"container-title":["Journal of Computer and System Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000099916306?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0022000099916306?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T09:21:58Z","timestamp":1557220918000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0022000099916306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,6]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,6]]}},"alternative-id":["S0022000099916306"],"URL":"https:\/\/doi.org\/10.1006\/jcss.1999.1630","relation":{},"ISSN":["0022-0000"],"issn-type":[{"value":"0022-0000","type":"print"}],"subject":[],"published":{"date-parts":[[1999,6]]}}}