{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:18:08Z","timestamp":1648772288392},"reference-count":50,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"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":4521,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0304-3975(99)00316-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:01:16Z","timestamp":1027612876000},"page":"423-463","source":"Crossref","is-referenced-by-count":8,"title":["On the expressiveness of linear-constraint query languages for spatial databases"],"prefix":"10.1016","volume":"254","author":[{"given":"Luc","family":"Vandeurzen","sequence":"first","affiliation":[]},{"given":"Marc","family":"Gyssens","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(99)00316-3_BIB1","doi-asserted-by":"crossref","unstructured":"F. Afrati, T. Andronikos, T. Kavalieros, On the expressiveness of first-order constraint languages, in Proc. Workshop on Constraint Databases and their Applications, 1995.","DOI":"10.1007\/3-540-60794-3_12"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB2","first-page":"181","article-title":"Linear versus polynomial constraints in database query languages","volume":"Vol. 874","author":"Afrati","year":"1994"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB3","first-page":"299","article-title":"Extending a database with spatial operations","volume":"Vol. 525","author":"Aref","year":"1991"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB4","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. ACM"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB5","doi-asserted-by":"crossref","unstructured":"M. Benedikt, L. Libkin, Safe constraint queries, in Proc. 13th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Seattle, WA, 1998, pp. 99\u2013108.","DOI":"10.1145\/275487.275499"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB6","doi-asserted-by":"crossref","unstructured":"J. Bochnak, M. Coste, M.F. Roy, Real Algebraic Geometry, in Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge\/A Series of Modern Surveys in Mathematics, vol. 36, Springer-Verlag, Berlin, 1998.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1023\/A:1009795512753","article-title":"Toward practical constraint databases","volume":"2","author":"Brodsky","year":"1997","journal-title":"Constraint"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB8","doi-asserted-by":"crossref","unstructured":"A. Brodsky, Y. Kornatzky, The LyriC language: querying constraint objects, in Proceedings ACM SIGMOD International Conference on Management of Data (San Jose, CA), M.J. Carey and D.A. Schneider, eds., 1995, pp. 35\u201346; also SIGMOD Record 24 (1995).","DOI":"10.1145\/223784.223788"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB9","first-page":"68","article-title":"DISCO","volume":"Vol. 1034","author":"Byon","year":"1996"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB10","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","article-title":"Computable queries for relational database systems","volume":"21","author":"Chandra","year":"1980","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0304-3975(99)00316-3_BIB11","doi-asserted-by":"crossref","unstructured":"J. Chomicki, D.Q. Goldin, G.M. Kuper, Variable independence and aggregation closure, in Proc. 15th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Montreal, Canada, 1996, pp. 40\u201348.","DOI":"10.1145\/237661.237673"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB12","first-page":"277","article-title":"A small set of formal topological relationships suitable for end-user interaction","volume":"Vol. 692","author":"Clementini","year":"1993"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB13","doi-asserted-by":"crossref","unstructured":"F. Dumortier, M. Gyssens, L. Vandeurzen, D. Van Gucht, On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases, J. Comput. System Sci. 58 (1999) 535\u2013571.","DOI":"10.1006\/jcss.1999.1625"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB14","first-page":"457","article-title":"A formal definition of binary topological relationships","volume":"Vol. 367","author":"Egenhofer","year":"1989"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB15","first-page":"143","article-title":"Reasoning about binary topological relations","volume":"Vol. 525","author":"Egenhofer","year":"1991"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB16","first-page":"71","article-title":"Why not SQL!","volume":"6","author":"Egenhofer","year":"1992","journal-title":"Internat. J. Geogr. Inform. Systems"},{"issue":"1","key":"10.1016\/S0304-3975(99)00316-3_BIB17","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/69.273029","article-title":"Spatial SQL","volume":"6","author":"Egenhofer","year":"1994","journal-title":"IEEE Trans. Knowledge Data Eng."},{"key":"10.1016\/S0304-3975(99)00316-3_BIB18","unstructured":"M.J. Egenhofer, J. Herring, A mathematical framework for the definition of topological relationships, in: K. Brassel, H. Kishimoto (Eds.), Proc. 4th Internat. Symp. on Spatial Data Handling, Zurich, Switzerland, 1990, pp. 803\u2013813."},{"key":"10.1016\/S0304-3975(99)00316-3_BIB19","first-page":"450","article-title":"Tractable recursion over geometric data","volume":"Vol. 1330","author":"Grumbach","year":"1997"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB20","doi-asserted-by":"crossref","unstructured":"S. Grumbach, P. Rigaux, L. Segoufin, The DEDALE system for complex spatial queries, in: L. Haas, A. Tiwary (Eds.), Proc. ACM SIGMOD Internat. Conf. on Management of Data, Seattle, WA, 1998, pp. 213\u2013224; also SIGMOD Record 27 (1998).","DOI":"10.1145\/276304.276324"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB21","doi-asserted-by":"crossref","unstructured":"S. Grumbach, J. Su, Towards practical constraint databases, in Proc. 15th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Montreal, Canada, 1996, pp. 28\u201339.","DOI":"10.1145\/237661.237672"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB22","doi-asserted-by":"crossref","unstructured":"S. Grumbach, J. Su, C. Tollu, Linear constraint query languages: expressive power and complexity, in: D. Leivant (Ed.), Proc. Logic and Computational Complexity Workshop, Indianapolis, IN, 1994.","DOI":"10.1007\/3-540-60178-3_96"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB23","doi-asserted-by":"crossref","unstructured":"O. G\u00fcnther (Ed.), Efficient structures for geometric data management, in Lecture Notes in Computer Science, Vol. 337, Springer, Berlin, 1988.","DOI":"10.1007\/BFb0046097"},{"issue":"4","key":"10.1016\/S0304-3975(99)00316-3_BIB24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/122058.122065","article-title":"Research issues in spatial databases","volume":"19","author":"G\u00fcnther","year":"1990","journal-title":"SIGMOD Record"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB25","first-page":"506","article-title":"Geo-Relational Algebra","volume":"Vol. 303","author":"G\u00fcting","year":"1988"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB26","unstructured":"R.H. G\u00fcting, GRAL: an extensible relational database system for geometric applications, in Proc. 15th Internat. Conf. on very Large Databases, Amsterdam, Netherlands, 1989, pp. 33\u201344."},{"issue":"4","key":"10.1016\/S0304-3975(99)00316-3_BIB27","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BF01231602","article-title":"An introduction to spatial database systems","volume":"3","author":"G\u00fcting","year":"1994","journal-title":"VLDB J."},{"key":"10.1016\/S0304-3975(99)00316-3_BIB28","first-page":"216","article-title":"Implementation of the ROSE Algebra","volume":"Vol. 951","author":"G\u00fcting","year":"1995"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB29","doi-asserted-by":"crossref","unstructured":"R.H. G\u00fcting, M. Schneider, Realms: a foundation for spatial data types in database systems, in Proc. 3rd Internat. Conf. on very Large Databases, Singapore, 1993, pp. 14\u201335.","DOI":"10.1007\/3-540-56869-7_2"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB30","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1006\/jcss.1999.1630","article-title":"Complete geometrical query languages","volume":"58","author":"Gyssens","year":"1999","journal-title":"J. Comput. System Sci."},{"issue":"3","key":"10.1016\/S0304-3975(99)00316-3_BIB31","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1145\/828.832","article-title":"The format model, a theory of database organization","volume":"31","author":"Hull","year":"1984","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB32","first-page":"96","article-title":"Constraint programming and database query languages","volume":"Vol. 789","author":"Kanellakis","year":"1994"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB33","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.1016\/S0304-3975(99)00316-3_BIB34","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/28865.28866","article-title":"An analysis of geometric modeling in database systems","volume":"19","author":"Kemper","year":"1987","journal-title":"Comput. Surv."},{"key":"10.1016\/S0304-3975(99)00316-3_BIB35","first-page":"202","article-title":"On the expressive power of the relational calculus with arithmetic constraints","volume":"Vol. 470","author":"Kuper","year":"1990"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB36","doi-asserted-by":"crossref","unstructured":"J.L. Lassez, Querying constraints, in Proc. 9th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Nashville, TN, 1990, pp. 288\u2013298.","DOI":"10.1145\/298514.298581"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB37","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/181550.181566","article-title":"Databases for GIS","volume":"23","author":"Medeiros","year":"1994","journal-title":"SIGMOD Record"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB38","doi-asserted-by":"crossref","unstructured":"J. Nievergelt, M. Freeston (Eds.), Special issue on spatial data, Comput. J. 37 (1994).","DOI":"10.1093\/comjnl\/37.1.1"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB39","first-page":"14","article-title":"Spatial databases, the final frontier","volume":"Vol. 893","author":"Paredaens","year":"1995"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB40","first-page":"1","article-title":"Euclid, Tarski, and Engeler encompassed","volume":"Vol. 1369","author":"Paredaens","year":"1998"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB41","doi-asserted-by":"crossref","unstructured":"J. Paredaens, J. Van den Bussche, D. Van Gucht, Towards a theory of spatial database queries, in Proc. 13th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Minneapolis, MN, 1994, pp. 279\u2013288.","DOI":"10.1145\/182591.182640"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB42","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1137\/S009753979629766","article-title":"First-order queries on finite structures over the reals","volume":"27","author":"Paredaens","year":"1998","journal-title":"SIAM J. Comput"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB43","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/181550.181557","article-title":"Towards an infrastructure for temporal databases","volume":"23","author":"Pissinou","year":"1994","journal-title":"SIGMOD Record"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB44","doi-asserted-by":"crossref","unstructured":"L. Segoufin, Victor Vianu, Spatial databases via topological invariants, in Proc. 18th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Seattle, WA, 1998, pp. 89\u201398.","DOI":"10.1145\/275487.275498"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB45","first-page":"119","article-title":"GEO-SAL","volume":"Vol. 525","author":"Svensson","year":"1991"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB46","series-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski","year":"1951"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB47","series-title":"Principles of Database Systems","author":"Ullman","year":"1982"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB48","first-page":"14","article-title":"On the desirability and limitations of linear spatial query languages","volume":"Vol. 951","author":"Vandeurzen","year":"1995"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB49","first-page":"468","article-title":"On query languages for linear queries definable with polynomial constraints","volume":"Vol. 1118","author":"Vandeurzen","year":"1996"},{"key":"10.1016\/S0304-3975(99)00316-3_BIB50","doi-asserted-by":"crossref","unstructured":"L. Vandeurzen, M. Gyssens, D. Van Gucht, An expressive language for linear spatial database queries, in Proc. 18th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, Seattle, WA, 1998, pp. 109\u2013118.","DOI":"10.1145\/275487.275500"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003163?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599003163?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T17:22:41Z","timestamp":1579108961000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599003163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":50,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0304397599003163"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00316-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}