{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:18:41Z","timestamp":1736227121880,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540618140"},{"type":"electronic","value":"9783540706830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0031757","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:44:07Z","timestamp":1134283447000},"page":"475-495","source":"Crossref","is-referenced-by-count":1,"title":["A more expressive deterministic query language with efficient symmetry-based choice construct"],"prefix":"10.1007","author":[{"given":"F.","family":"Gire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. K.","family":"Hoang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01530924","volume":"3","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and V. Vianu. Non-determinism in logic-based languages. Annals of Math. and Artif. Int., 3:151\u2013186, 1991.","journal-title":"Annals of Math. and Artif. Int."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. Generic computation and its complexity. In Proc. 23rd ACM Symp. on the Theory of Computing, pages 209\u2013219, 1991.","DOI":"10.1145\/103418.103444"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"J. Cai, M. Furer, and N. Immerman. An optimal lower bound on the number of variables for graph identification. In Proc 30th IEEE Conf. on Foundations of Computer Science, pages 612\u2013617, 1989.","DOI":"10.1109\/SFCS.1989.63543"},{"issue":"2","key":"24_CR4","doi-asserted-by":"crossref","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 databases. Journal of Computer and System Sciences, 21(2):156\u2013178, Oct. 1980.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"24_CR5","doi-asserted-by":"crossref","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(1):99\u2013128, Aug. 1982.","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR6","volume-title":"Ph.D Thesis","author":"A. Dawar","year":"1993","unstructured":"A. Dawar. Feasible Computation Through Model Theory. Ph.D Thesis. University of Pennsylvania, Philadelphia, 1993."},{"key":"24_CR7","unstructured":"H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"M. Gyssens, J. Van den Bussche, D. Van Gucht. Expressiveness of Efficient Semideterministic Choice Constructs ICALP 94, 820, 106\u2013117.","DOI":"10.1007\/3-540-58201-0_61"},{"key":"24_CR9","unstructured":"Y. Gurevich and S. Shelah. Fixed-point extensions of first order logic. In Pro 26th IEEE Symp. on Foundations of Computer Science, 210\u2013214, 1983."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"S. Grumbach and C. Tollu. Query langugages with counters. In Proc. 4th Int. Conf. Database Theory, LNCS 646, 124\u2013139. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56039-4_37"},{"key":"24_CR11","first-page":"76","volume":"25","author":"N. Immermann","year":"1982","unstructured":"N. Immermann. Upper and lower bounds for first-order definability. JCSS, 25:76\u201398, 1982.","journal-title":"JCSS"},{"key":"24_CR12","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N. Immermann","year":"1986","unstructured":"N. Immermann. Relational queries computable in polynomial time. Information and Control, 68:86\u2013104, 1986.","journal-title":"Information and Control"},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immermann","year":"1987","unstructured":"N. Immermann. Languages that capture complexity classes. SIAM Journal on Computing, 16:760\u2013778, 1987.","journal-title":"SIAM Journal on Computing"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Ph.G. Kolaitis and M.Y. Vardi. Fixpoint logic vs. infinitary logic in finite-model theory. In Proc. 7th IEEE Symp. on Logic in Computer Science, 46\u201357, 1992.","DOI":"10.1109\/LICS.1992.185518"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"M. Vardi. The complexity of relational query languages. In Proc. 14th ACM Symp. on the Theory of Computing, 137\u2013146. 1982.","DOI":"10.1145\/800070.802186"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"J. Van den Bussche, D. Van Gucht. Semi-determinism. Proc. 11th ACM Sym. Principles of Database Systems, 191\u2013201, 1992.","DOI":"10.1145\/137097.137866"}],"container-title":["Lecture Notes in Computer Science","Logic in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:10:00Z","timestamp":1736165400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031757"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618140","9783540706830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0031757","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}