{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:22:10Z","timestamp":1725700930657},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329241"},{"type":"electronic","value":"9783642329258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32925-8_2","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T05:25:15Z","timestamp":1345872315000},"page":"9-20","source":"Crossref","is-referenced-by-count":4,"title":["Datalog: A Perspective and the Potential"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Vianu, V.: Datalog Extensions for Database Queries and Updates. J. of Computer and System Sciences\u00a043, 62\u2013124 (1991)","journal-title":"J. of Computer and System Sciences"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1016\/S0022-0000(05)80071-6","volume":"49","author":"M. Ajtai","year":"1994","unstructured":"Ajtai, M., Gurevich, Y.: Datalog vs First-Order Logic. J. of Computer and System Sciences\u00a049(3), 562\u2013588 (1994)","journal-title":"J. of Computer and System Sciences"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Alvaro, P., Marczak, W., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.C.: Dedalus: Datalog in Time and Space. EECS Dept, University of California, Berkeley Technical Report No. UCB\/EECS-2009-173, December 16 (2009)","DOI":"10.21236\/ADA538767"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/1131342.1131344","volume":"53","author":"A. Atserias","year":"2006","unstructured":"Atserias, A., Dawar, A., Kolaitis, P.: On Preservation under Homomorphisms and Unions of Conjunctive Queries. JACM\u00a053(2), 208\u2013237 (2006)","journal-title":"JACM"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-642-30743-0_6","volume-title":"Correct Reasoning","author":"N. Bj\u00f8rner","year":"2012","unstructured":"Bj\u00f8rner, N., de Caso, G., Gurevich, Y.: From Primal Infon Logic with Individual Variables to Datalog. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.) Correct Reasoning. LNCS, vol.\u00a07265, pp. 72\u201386. Springer, Heidelberg (2012)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-18170-9_151","volume-title":"Computation Theory and Logic","author":"A. Blass","year":"1987","unstructured":"Blass, A., Gurevich, Y.: Existential Fixed-Point Logic. In: B\u00f6rger, E. (ed.) Computation Theory and Logic. LNCS, vol.\u00a0270, pp. 20\u201336. Springer, Heidelberg (1987)"},{"key":"#cr-split#-2_CR7.1","unstructured":"Blass, A., Gurevich, Y.: The Underlying Logic of Hoare Logic. Bull. EATCS\u00a070, 82-110 (2000)"},{"key":"#cr-split#-2_CR7.2","unstructured":"also in Current Trends in Theoretical Computer Science, pp. 409-436. World Scientific (2001)"},{"key":"2_CR8","first-page":"164","volume":"95","author":"A. Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bull. EATCS\u00a095, 164\u2013182 (2008)","journal-title":"Bull. EATCS"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85238-4_1","volume-title":"Mathematical Foundations of Computer Science 2008","author":"A. Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: One Useful Logic That Defines Its Own Truth. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol.\u00a05162, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"2_CR10","unstructured":"Blass, A., Gurevich, Y.: Hilbertian Deductive Systems, Infon Logic, and Datalog. Microsoft Research Technical Report MSR-TR-2011-81 (June 2011); to appear in Postproceeding from FCT 2011 in Information and Computation"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S.A. Cook","year":"1978","unstructured":"Cook, S.A.: Soundness and Completeness of an Axiom System for Program Verification. SIAM J. Computing\u00a07, 70\u201390 (1978)","journal-title":"SIAM J. Computing"},{"key":"2_CR12","unstructured":"Cotrini, C., Gurevich, Y.: Revisiting Primal Infon Logic (in preparation)"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantzin","year":"2001","unstructured":"Dantzin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM Computing Sureveys\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Computing Sureveys"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Gurevich, Y.: Toward Logic Tailored for Computational Complexity. Springer Lecture Notes in Math, vol.\u00a01104, pp. 175\u2013216 (1984)","DOI":"10.1007\/BFb0099486"},{"key":"2_CR15","unstructured":"Gurevich, Y.: Two Notes on Propositional Primal Logic. Microsoft Research Tech. Report MSR-TR-2011-70 (May 2011)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. In: 21st IEEE Computer Security Foundations Symposium (CSF 2008), pp. 149\u2013162 (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"2_CR17","unstructured":"Gurevich, Y., Neeman, I.: DKAL 2 \u2014 A Simplified and Improved Authorization Language, Microsoft Research Tech. Report MSR-TR-2009-11"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0168-0072(86)90055-2","volume":"32","author":"Y. Gurevich","year":"1986","unstructured":"Gurevich, Y., Shelah, S.: Fixed-Point Extensions of First-Order Logic. Annals of Pure and Applied Logic\u00a032, 265\u2013280 (1986)","journal-title":"Annals of Pure and Applied Logic"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: DATALOG with Constraints: A Foundation for Trust Management Languages. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"2_CR20","unstructured":"Maltsev, A.I.: Model Correspondences. Izv. Akad. Nauk SSSR. Ser. Mat.\u00a023, 313\u2013336 (1959) (Russian)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Rossman, B.: Homomorphism Preservation Theorems. JACM 55(3), Article No. 15 (2008)","DOI":"10.1145\/1379759.1379763"},{"key":"2_CR22","series-title":"The New Technologies","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1990","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. The New Technologies, vol.\u00a0II. W. H. Freeman & Co., New York (1990)"},{"key":"2_CR23","unstructured":"Wikipedia, Datalog, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/Datalog\n                    \n                    \n                   (viewed on June 14, 2012)"}],"container-title":["Lecture Notes in Computer Science","Datalog in Academia and Industry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32925-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:48:56Z","timestamp":1620128936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32925-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329241","9783642329258"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32925-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}