{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:31:45Z","timestamp":1775097105463,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":66,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540425540","type":"print"},{"value":"9783540448020","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_2","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T04:15:38Z","timestamp":1180671338000},"page":"20-37","source":"Crossref","is-referenced-by-count":17,"title":["Applications of Alfred Tarski\u2019s Ideas in Database Theory"],"prefix":"10.1007","author":[{"given":"Jan","family":"Van den Bussche","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"2_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"issue":"5","key":"2_CR2","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/290179.290182","volume":"45","author":"S. Abiteboul","year":"1998","unstructured":"S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. Journal of the ACM, 45(5):798\u2013842, 1998.","journal-title":"Journal of the ACM"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0022-0000(90)90036-K","volume":"41","author":"S. Abiteboul","year":"1990","unstructured":"S. Abiteboul and V. Vianu. Procedural languages for database queries and updates. Journal of Computer and System Sciences, 41(2):181\u2013229, 1990.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43(1):62\u2013124, 1991.","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1006\/jcss.1995.1025","volume":"50","author":"S. Abiteboul","year":"1995","unstructured":"S. Abiteboul and V. Vianu. Computing with first-order logic. Journal of Computer and System Sciences, 50(2):309\u2013335, 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"A.V. Aho and J.D. Ullman. Universality of data retrieval languages. In Conference Record, 6th ACM Symposium on Principles of Programming Languages, pages 110\u2013120, 1979.","DOI":"10.1145\/567752.567763"},{"issue":"2","key":"2_CR7","first-page":"308","volume":"286","author":"A.K. Aylamazyan","year":"1986","unstructured":"A.K. Aylamazyan, M.M. Gilula, A.P. Stolboushkin, and G.F. Schwartz. Reduction of the relational model with infinite domains to the case of finite domains. Doklady Akademii Nauk SSSR, 286(2):308\u2013311, 1986. In Russian.","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-08921-7_60","volume-title":"Proceedings 7th Symposium on Mathematical Foundations of Computer Science","author":"F. Bancilhon","year":"1978","unstructured":"F. Bancilhon. On the completeness of query languages for relational data bases. In Proceedings 7th Symposium on Mathematical Foundations of Computer Science, volume 64 of Lecture Notes in Computer Science, pages 112\u2013123. Springer-Verlag, 1978."},{"key":"2_CR9","unstructured":"S. Basu. Algorithms in Semi-Algebraic Geometry. PhD thesis, New York University, 1996."},{"key":"2_CR10","unstructured":"R. Benedetti and J.-J. Risler. Real Algebraic and Semi-Algebraic Sets. Hermann, 1990."},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1145\/347476.347477","volume":"47","author":"M. Benedikt","year":"2000","unstructured":"M. Benedikt and L. Libkin. Relational queries over interpreted structures. Journal of the ACM, 47(4):644\u2013680, 2000.","journal-title":"Journal of the ACM"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"M. Benedikt, L. Libkin, T. Schwentick, and L. Segoufin. String operations in query languages. In Proceedings 20th ACM Symposium on Principles of Database Systems, 2001.","DOI":"10.1145\/375551.375578"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"A. Blumensath and E. Gr\u00e4del. Automatic structures. In Proceedings 15th IEEE Symposium on Logic in Computer Science, pages 51\u201362, 2000.","DOI":"10.1109\/LICS.2000.855755"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"B.F. Caviness and J.R. Johnson, editors. Quantifier elimination and cylindrical algebraic decomposition. Springer, 1998.","DOI":"10.1007\/978-3-7091-9459-1"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A. Chandra","year":"1980","unstructured":"A. Chandra and D. Harel. Computable queries for relational data bases. Journal of Computer and System Sciences, 21(2):156\u2013178, 1980.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"A. Chandra and D. Harel. Structure and complexity of relational queries. Journal of Computer and System Sciences, 25:99\u2013128, 1982.","journal-title":"Journal of Computer and System Sciences"},{"issue":"9","key":"2_CR18","first-page":"341","volume":"1","author":"L.H. Chin","year":"1951","unstructured":"L.H. Chin and A. Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California Publications in Mathematics-New Series, 1(9):341\u2013384, 1951.","journal-title":"University of California Publications in Mathematics-New Series"},{"issue":"6","key":"2_CR19","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. Codd","year":"1970","unstructured":"E. Codd. A relational model for large shared databanks. Communications of the ACM, 13(6):377\u2013387, 1970.","journal-title":"Communications of the ACM"},{"key":"2_CR20","unstructured":"E. Codd. Relational completeness of data base sublanguages. In R. Rustin, editor, Data Base Systems, pages 65\u201398. Prentice-Hall, 1972."},{"key":"2_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/3-540-61581-4","volume-title":"Principles and Practice of Constraint Programming","author":"D. Cohen","year":"1996","unstructured":"D. Cohen, M. Gyssens, and P. Jeavons. Derivation of constraints and database relations. In E.C. Freuder, editor, Principles and Practice of Constraint Programming, volume 1118 of Lecture Notes in Computer Science, pages 468\u2013481, 1996."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"G.P. Copeland and S. Khoshafian. A decomposition storage model. In Proceedings of ACM-SIGMOD International Conference on Management of Data, volume 14,4 of SIGMOD Record, pages 268\u2013279. ACM Press, 1985.","DOI":"10.1145\/318898.318923"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90074-P","volume":"101","author":"E. Dahlhaus","year":"1992","unstructured":"E. Dahlhaus and J.A. Makowsky. Query languages for hierarchic databases. Information and Computation, 101(1):1\u201332, 1992.","journal-title":"Information and Computation"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"E. Dantsin and A. Voronkov. Expressive power and data complexity of query languages for trees and lists. In Proceedings 19th ACM Symposium on Principles of Database Systems, pages 157\u2013165, 2000.","DOI":"10.1145\/335168.335218"},{"key":"2_CR25","unstructured":"H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer, second edition, 1999."},{"key":"2_CR26","unstructured":"S.R. Givant and R.N. McKenzie, editors. Alfred Tarski, Collected Papers. Birkh\u00e4user, 1986."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"M. Grohe and L. Segoufin. On first-order topological queries. In Proceedings 15th IEEE Symposium on Logic in Computer Science, pages 349\u2013360, 2000.","DOI":"10.1109\/LICS.2000.855783"},{"key":"2_CR28","unstructured":"M. Gyssens, L.V. Saxton, and D. Van Gucht. Tagging as an alternative to object creation. In J.C. Freytag, D. Maier, and G. Vossen, editors, Query Processing For Advanced Database Systems, chapter 8. Morgan Kaufmann, 1994."},{"issue":"3","key":"2_CR29","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1006\/jcss.1999.1630","volume":"58","author":"M. Gyssens","year":"1999","unstructured":"M. Gyssens, J. Van den Bussche, and D. Van Gucht. Complete geometric query languages. Journal of Computer and System Sciences, 58(3):483\u2013511, 1999.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"J. Heintz, T. Recio, and M.-F. Roy. Algorithms in real algebraic geometry and applications to computational geometry. In J. Goodman, R. Pollack, and W. Steiger, editors, Discrete and Computational Geometry, volume 6 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. AMS-ACM, 1991.","DOI":"10.1090\/dimacs\/006\/08"},{"key":"2_CR31","unstructured":"L. Henkin, J.D. Monk, and A. Tarski. Cylindric Algebras. Part I. North-Holland, 1971."},{"key":"2_CR32","unstructured":"L. Henkin, J.D. Monk, and A. Tarski. Cylindric Algebras. Part II. North-Holland, 1985."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"L. Henkin, J.D. Monk, A. Tarski, H. Andr\u00e9ka, and I. N\u00e9meti. Cylindric Set Algebras, volume 883 of Lecture Notes in Mathematics. Springer-Verlag, 1981.","DOI":"10.1007\/BFb0095612"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"L. Henkin and A. Tarski. Cylindric algebras. In R.P. Dilworth, editor, Lattice Theory, volume 2 of Proceedings of Symposia in Pure Mathematics, pages 83\u2013113. American Mathematical Society, 1961.","DOI":"10.1090\/pspum\/002\/0124250"},{"issue":"1","key":"2_CR35","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0022-0000(93)90022-O","volume":"47","author":"R. Hull","year":"1993","unstructured":"R. Hull and J. Su. Algebraic and calculus query languages for recursively typed complex objects. Journal of Computer and System Sciences, 47(1):121\u2013156, 1993.","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"2_CR36","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1145\/828.832","volume":"31","author":"R. Hull","year":"1984","unstructured":"R. Hull and C.K. Yap. The format model, a theory of database organization. Journal of the ACM, 31(3):518\u2013537, 1984.","journal-title":"Journal of the ACM"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"T. Imielinski","year":"1984","unstructured":"T. Imielinski and W. Lipski. The relational model of data and cylindric algebras. Journal of Computer and System Sciences, 28:80\u2013102, 1984.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"N. Immerman. Descriptive Complexity. Springer, 1999.","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"P.C. Kanellakis. Constraint programming and database langauges: a tutorial. In Proceedings 14th ACM Symposium on Principles of Database Systems, pages 46\u201353, 1995.","DOI":"10.1145\/212433.212447"},{"issue":"1","key":"2_CR40","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":"2_CR41","doi-asserted-by":"crossref","unstructured":"S. Khoshafian, G.P. Copeland, T. Jagodi, H. Boral, and P. Valduriez. A query processing strategy for the decomposed storage model. In Proceedings of the Third International Conference on Data Engineering, pages 636\u2013643. IEEE Computer Society, 1987.","DOI":"10.1109\/ICDE.1987.7272433"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"B. Kuijpers and V. Vianu. Topological queries. In Libkin et al. [43], chapter 10.","DOI":"10.1007\/978-3-662-04031-7_10"},{"key":"2_CR43","unstructured":"L. Libkin, G. Kuper, and J. Paredaens, editors. Constraint Databases. Springer, 2000."},{"key":"2_CR44","first-page":"384","volume-title":"In Logic, Semantics, Metamathematics. Papers from 1923-1938","author":"A. Lindenbaum","year":"1956","unstructured":"A. Lindenbaum and A. Tarski. On the limitations of the means of expression of deductive theories. In Logic, Semantics, Metamathematics. Papers from 1923-1938 [56], pages 384\u2013392."},{"key":"2_CR45","unstructured":"B. Mishra. Computational real algebraic geometry. In J.E. Goodman and J. O\u2019Rourke, editors, Handbook of Discrete and Computational Geometry. CRC Press, 1997."},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"M. Otto. Bounded variable logics and counting: a study in finite models, volume 9 of Lecture Notes in Logic. Springer, 1997.","DOI":"10.1007\/978-3-662-21676-7"},{"issue":"2","key":"2_CR47","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0020-0190(78)90055-8","volume":"7","author":"J. Paredaens","year":"1978","unstructured":"J. Paredaens. On the expressive power of the relational algebra. Information Processing Letters, 7(2):107\u2013111, 1978.","journal-title":"Information Processing Letters"},{"key":"2_CR48","unstructured":"R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, second edition, 2000."},{"key":"2_CR49","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0035010","volume-title":"Semantics in Databases","author":"P.Z. Revesz","year":"1998","unstructured":"P.Z. Revesz. Constraint databases: a survey. In L. Libkin and B. Thalheim, editors, Semantics in Databases, volume 1358 of Lecture Notes in Computer Science, pages 209\u2013246. Springer, 1998."},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"W. Schwabh\u00e4user, W. Szmielew, and A. Tarski. Metamathematische Methoden in der Geometrie. Springer-Verlag, 1983.","DOI":"10.1007\/978-3-642-69418-9"},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"A. Tarski. On the calculus of relations. Journal of Symbolic Logic, 6:73\u201389, 1941.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR52","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":"2_CR53","first-page":"705","volume":"1","author":"A. Tarski","year":"1950","unstructured":"A. Tarski. Some notions and methods on the borderline of algebra and meta-mathematics. In Proceedings of the International Congress of Mathematicians, Cambridge, Mass, 1950, volume 1, pages 705\u2013720. American Mathematical Society, 1952.","journal-title":"Proceedings of the International Congress of Mathematicians, Cambridge, Mass, 1950"},{"key":"2_CR54","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1016\/S1385-7258(54)50074-0","volume":"16","author":"A. Tarski","year":"1954","unstructured":"A. Tarski. Contributions to the theory of models, I and II. Indagationes Mathematicae, 16:572\u2013581 and 582\u2013588, 1954. Volume III, which contains the list of references, is in volume 17 of the same journal.","journal-title":"Indagationes Mathematicae"},{"key":"2_CR55","first-page":"152","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"A. Tarski. The concept of truth in formalized languages. In Logic, Semantics, Metamathematics. Papers from 1923\u20131938 [56], pages 152\u2013278."},{"key":"2_CR56","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923\u20131938","author":"A. Tarski","year":"1956","unstructured":"A. Tarski. Logic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford, 1956."},{"key":"2_CR57","first-page":"110","volume-title":"Logic, Semantics, Metamathematics. Papers from 1923-1938","author":"A. Tarski","year":"1956","unstructured":"A. Tarski. On definable sets of real numbers. In Logic, Semantics, Metamathematics. Papers from 1923-1938 [56], pages 110\u2013142."},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"A. Tarski. What is elementary geometry? In L. Henkin, P. Suppes, and A. Tarski, editors, The Axiomatic Method, with Special Reference to Geometry and Physics, pages 16\u201329. North-Holland, 1959.","DOI":"10.1016\/S0049-237X(09)70017-5"},{"key":"2_CR59","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01972461","volume":"7","author":"A. Tarski","year":"1965","unstructured":"A. Tarski. A simplified formalization of predicate logic with identity. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung, 7:61\u201379, 1965.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"A. Tarski. What are logical notions? History and Philosophy of Logic, 7:143\u2013154, 1986. Edited by J. Corcoran.","DOI":"10.1080\/01445348608837096"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"A. Tarski and S. Givant. A Formalization of Set Theory Without Variables, volume 41 of AMS Colloquium Publications. American Mathematical Society, 1987.","DOI":"10.1090\/coll\/041"},{"issue":"3","key":"2_CR62","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/362084.362136","volume":"29","author":"J. Bussche Van den","year":"2000","unstructured":"J. Van den Bussche. Constraint databases: a tutorial introduction. SIGMOD Record, 29(3):44\u201351, 2000.","journal-title":"SIGMOD Record"},{"key":"2_CR63","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1006\/inco.1995.1110","volume":"120","author":"J. Bussche Van den","year":"1995","unstructured":"J. Van den Bussche and J. Paredaens. The expressive power of complex values in object-based data models. Information and Computation, 120:220\u2013236, 1995.","journal-title":"Information and Computation"},{"issue":"2","key":"2_CR64","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/256303.256311","volume":"44","author":"J. Bussche Van den","year":"1997","unstructured":"J. Van den Bussche, D. Van Gucht, M. Andries, and M. Gyssens. On the completeness of object-creating database transformation languages. Journal of the ACM, 44(2):272\u2013319, 1997.","journal-title":"Journal of the ACM"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"L. van den Dries. Tame Topology and O-Minimal Structures. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511525919"},{"key":"2_CR66","volume-title":"Felix Klein and Sophus Lie: evolution of the idea of symmetry in the nineteenth century","author":"I.M. Yaglom","year":"1988","unstructured":"I.M. Yaglom. Felix Klein and Sophus Lie: evolution of the idea of symmetry in the nineteenth century. Birkh\u00e4user, Boston, 1988."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:47:21Z","timestamp":1683863241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}