{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214043},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_18","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:03:18Z","timestamp":1186826598000},"page":"288-303","source":"Crossref","is-referenced-by-count":1,"title":["Reflective Relational Machines Working on Homogeneous Databases"],"prefix":"10.1007","author":[{"given":"Jose","family":"Maria","sequence":"first","affiliation":[]},{"given":"Turull","family":"Torres","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Papadimitriou, C. and Vianu, V.: The Power of the Reflective Relational Machine. Proc. of 9th IEEE Symposium on Logic in Computer Science (1994)","DOI":"10.1109\/LICS.1994.316067"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Vianu, V.: Generic Computation and its Complexity. Proc. of 23th ACM Symposium on Theory of Computing (1991) 209\u2013219","DOI":"10.1145\/103418.103444"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Computing with first-order logic. Journal of Computer and System Sciences (1994)","DOI":"10.1006\/jcss.1995.1025"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vardi, M. and Vianu, V.: Fixpoint Logics, Relational Machines, and Computational Complexity. Proc. of 7th IEEE Conference on Structure in Complexity Theory (1992) 156\u2013168","DOI":"10.1109\/SCT.1992.215391"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vardi, M. and Vianu, V.: Computing with Infinitary Logic. Proc. of International Conference on Database Theory (1992)","DOI":"10.1007\/3-540-56039-4_36"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","volume":"21","author":"A. Chandra","year":"1980","unstructured":"Chandra, A. and Harel, D.: Computable Queries for Relational Data Bases. Journal of Computer and System Sciences 21 (1980) 156\u2013178","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","volume":"25","author":"A. Chandra","year":"1982","unstructured":"Chandra, A. and Harel, D.: Structure and Complexity of Relational Queries. Journal of Computer and System Sciences 25 (1982) 99\u2013128","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR8","unstructured":"Chang, C. and Keisler, H.: Model Theory. 3rd edn. Elsevier North Holland (1992)"},{"key":"18_CR9","volume-title":"Feasible Computation Through Model Theory","author":"A. Dawar","year":"1993","unstructured":"Dawar, A.: Feasible Computation Through Model Theory. PhD Thesis. University of Pennsylvania, Philadelphia (1993)"},{"key":"18_CR10","unstructured":"Gurevich, Y.: Logic and the Challenge of Computer Science. Trends in Theoretical Computer Science. Computer Science Press (1988)"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","volume":"25","author":"N. Immerman","year":"1982","unstructured":"Immerman, N.: Upper and Lower Bounds for First Order Expressibility. Journal of Computer and System Sciences 25 (1982) 76\u201398","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Kolaitis, P. and Vardi, M.: 0\u20131 Laws for Infinitary Logic. Proc. of 5th IEEE Symposium on Logic in Computer Science (1990)","DOI":"10.1109\/LICS.1990.113742"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Seth, A.: When do Fixed Point Logics Capture Complexity Classes?. Proc. of 10th IEEE Symposium on Logic in Computer Science (1995)","DOI":"10.1109\/LICS.1995.523270"},{"key":"18_CR14","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":"18_CR15","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 Bulletin of the IGPL 3 (1996)"},{"key":"18_CR16","first-page":"193","volume-title":"Proc. of Short Papers, Third East-European Conference on Advances in Databases and Information Systems","author":"J.M. Turull Torres","year":"1999","unstructured":"Turull Torres, J.M.: Reflective Relational Machines of Bounded Variable Complexity. Proc. of Short Papers, Third East-European Conference on Advances in Databases and Information Systems, edited by University of Maribor, Slovenia (1999) 193\u2013199"}],"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-46564-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:13:33Z","timestamp":1684005213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}