{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:43:59Z","timestamp":1725493439388},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_14","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T15:32:20Z","timestamp":1193326340000},"page":"212-229","source":"Crossref","is-referenced-by-count":1,"title":["Relational Databases and Homogeneity in Logics with Counting"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Mar\u00eda Turull","family":"Torres","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"unstructured":"Abiteboul, S., Hull, R. and Vianu, V.: Foundations of Databases. Addison-Wesley (1994)","key":"14_CR1"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1006\/inco.1998.2701","volume":"143","author":"S. Abiteboul","year":"1998","unstructured":"Abiteboul, S., Papadimitriou, C. and Vianu, V.: Reflective Relational Machines. Information and Computation 143 (1998) 110\u2013136","journal-title":"Information and Computation"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1006\/jcss.1995.1025","volume":"50","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S. and Vianu, V.: Computing with first-order logic. Journal of Computer and System Sciences 50(2) (1995) 309\u2013335","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(95)00027-T","volume":"149","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Vardi, M. and Vianu, V.: Computing with Infinitary Logic. Theoretical Computer Science 149(1) (1995) 101\u2013128","journal-title":"Theoretical Computer Science"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1137\/0209047","volume":"9","author":"L. Babai","year":"1980","unstructured":"Babai, L., Erd\u00f6s, P. and Selkow, S.: Random Graph Isomorphism. SIAM Journal on Computing 9 (1980) 628\u2013635","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"14_CR6","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01305232","volume":"12","author":"J. Y. Cai","year":"1992","unstructured":"Cai, J. Y., F\u00fcrer, M. and Immerman, N.: An Optimal Lower Bound on the Number of Variables for Graph Identification. Combinatorica 12(4) (1992) 389\u2013410","journal-title":"Combinatorica"},{"issue":"2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A. K. Chandra","year":"1980","unstructured":"Chandra, A. K. and Harel, D.: Computable Queries for Relational Data Bases. Journal of Computer and System Sciences 21(2) (1980) 156\u2013178","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR8","volume-title":"Model Theory","author":"C. Chang","year":"1992","unstructured":"Chang, C. and Keisler, H.: Model Theory, 3rd ed. Elsevier North Holland (1992)","edition":"3rd ed."},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1006\/inco.1995.1084","volume":"119","author":"A. Dawar","year":"1995","unstructured":"Dawar, A., Lindell, S. and Weinstein, S.: Infinitary Logic and Inductive Definability over Finite Structures. Information and Computation 119(2) (1995) 160\u2013175","journal-title":"Information and Computation"},{"unstructured":"Ebbinghaus, H. and Flum, J.: Finite Model Theory, 2nd ed. Springer (1999)","key":"14_CR10"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-49257-7_6","volume-title":"Definability and Descriptive Complexity on Databases of Bounded Tree-Width","author":"M. Grohe","year":"1999","unstructured":"Grohe, M. and Mari\u00f1o, J.: Definability and Descriptive Complexity on Databases of Bounded Tree-Width. Proc. of International Conference on Database Theory (1999). Springer, LNCS 1540 (1998) 70\u201382"},{"doi-asserted-by":"crossref","unstructured":"Grohe, M.: Equivalence in Finite Variable Logics is Complete for Polynomial Time. Proc. of 37th IEEE Symposium on Foundations of Computer Science (1996) 264\u2013273","key":"14_CR12","DOI":"10.1109\/SFCS.1996.548485"},{"doi-asserted-by":"crossref","unstructured":"Grohe, M.: Finite Variable Logics in Descriptive Complexity Theory. Preliminary version (1998)","key":"14_CR13","DOI":"10.2307\/420954"},{"doi-asserted-by":"crossref","unstructured":"Grohe, M.: Fixed Point Logics on Planar Graphs. Proc. of 13th IEEE Symposium on Logic in Computer Science (1998) 6\u201315","key":"14_CR14","DOI":"10.1109\/LICS.1998.705639"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0070","volume":"129","author":"L. Hella","year":"1996","unstructured":"Hella, L.: Logical Hierarchies in PTIME. Information and Computation 129(1) (1996) 1\u201319","journal-title":"Information and Computation"},{"issue":"4","key":"14_CR16","doi-asserted-by":"publisher","first-page":"422","DOI":"10.2307\/421173","volume":"2","author":"L. Hella","year":"1996","unstructured":"Hella, L., Kolaitis, P. and Luosto, K.: Almost Everywhere Equivalence of Logics in Finite Model Theory. The Bulletin of Symbolic Logic 2, 4 (1996) 422\u2013443","journal-title":"The Bulletin of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Immerman, N. and Lander, E.: Describing Graphs: A First Order Approach to Graph Canonization. Complexity Theory Retrospective, A. Selman, ed. Springer (1990) 59\u201381","key":"14_CR17","DOI":"10.1007\/978-1-4612-4478-3_5"},{"doi-asserted-by":"crossref","unstructured":"Immerman, N.: Descriptive Complexity. Springer (1999)","key":"14_CR18","DOI":"10.1007\/978-1-4612-0539-5"},{"unstructured":"Koponen, A. and Luosto, K.: Definability of Group Theoretic notions. Research Report 227 of the Department of Mathematics of the University of Helsinki (1999)","key":"14_CR19"},{"unstructured":"Koponen, A. and Luosto, K.: personal comunication (2000)","key":"14_CR20"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/0890-5401(92)90021-7","volume":"98","author":"P. Kolaitis","year":"1992","unstructured":"Kolaitis, P. and Vardi, M.: Infinitary Logic and 0-1 Laws. Information and Computation 98 (1992) 258\u2013294","journal-title":"Information and Computation"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0168-0072(94)00025-X","volume":"74","author":"P. Kolaitis","year":"1995","unstructured":"Kolaitis, P. and V\u00e4\u00e4n\u00e4nen, J.: Generalized Quantifiers and Pebble Games on Finite Structures. Annals of Pure and Applied Logic 74 (1995) 23\u201375","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"147","DOI":"10.2307\/2275602","volume":"61","author":"M. Otto","year":"1996","unstructured":"Otto, M.: The Expressive Power of Fixed Point Logic with Counting. Journal of Symbolic Logic 61, 1 (1996) 147\u2013176","journal-title":"Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Otto, M.: Bounded Variable Logics and Counting. Springer (1997)","key":"14_CR24","DOI":"10.1007\/978-3-662-21676-7"},{"unstructured":"Turull Torres, J. M.: Partial Distinguishability and Query Computability on Finite Structures. Communicated in the XI Brazilean Symposium on Logic, Salvador, Brazil (1996). Abstract published in the Bulletin of the IGPL, London, 3 (1996)","key":"14_CR25"},{"unstructured":"Turull Torres, J. M.: Query Completeness, Distinguishability and Relational Machines. Models, Algebras and Proofs: Selected Papers from the X Latin American Symposium on Mathematical Logic, Bogot\u00e1 1995. Marcel-Dekker (1998) 135\u2013163","key":"14_CR26"},{"unstructured":"Turull Torres, J. M.: A Study of Homogeneity in Relational Databases. To appear in Annals of Mathematics and Artificial Intelligence (2001)","key":"14_CR27"},{"key":"14_CR28","series-title":"Lect Notes Comput Sci","volume-title":"Semantics in Databases","author":"J. M. Turull Torres","year":"2003","unstructured":"Turull Torres, J. M.: Semantic Classifications of Queries to Relational Databases. L. Bertossi, G. Katona, K.-D. Schewe, B. Thalheim (Eds.): Semantics in Databases. Springer LNCS, submitted"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:54:09Z","timestamp":1556916849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}