{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:30:55Z","timestamp":1725582655208},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_22","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"217-222","source":"Crossref","is-referenced-by-count":3,"title":["Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis"],"prefix":"10.1007","author":[{"given":"Rosamaria","family":"Barilaro","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker [8], pp. 89\u2013148","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"6","key":"22_CR2","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.parco.2005.03.004","volume":"31","author":"M. Balduccini","year":"2005","unstructured":"Balduccini, M., Pontelli, E., Elkhatib, O., Le, H.: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing\u00a031(6), 608\u2013647 (2005)","journal-title":"Parallel Computing"},{"issue":"1-3","key":"22_CR3","first-page":"34","volume":"63","author":"F. Calimeri","year":"2008","unstructured":"Calimeri, F., Perri, S., Ricca, F.: Experimenting with Parallelism for the Instantiation of ASP Programs. Journal of Algorithms in Cognition, Informatics and Logics\u00a063(1-3), 34\u201354 (2008)","journal-title":"Journal of Algorithms in Cognition, Informatics and Logics"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Chekuri, C., Rajaraman, A.: Conjunctive query containment revisited, pp. 56\u201370 (1998)","DOI":"10.1007\/3-540-62222-5_36"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/191839.191893","volume-title":"Proc. of ACM SIGMOD 1994","author":"H.M. Dewan","year":"1994","unstructured":"Dewan, H.M., Stolfo, S.J., Hern\u00e1ndez, M., Hwang, J.-J.: Predictive dynamic load balancing of parallel and distributed rule and query processing. In: Proc. of ACM SIGMOD 1994, pp. 277\u2013288. ACM, New York (1994)"},{"key":"22_CR6","first-page":"915","volume-title":"Proc. of SIGMOD 2005","author":"N. Leone","year":"2005","unstructured":"Leone, N., et al.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: Proc. of SIGMOD 2005, pp. 915\u2013917. ACM, New York (2005)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Liang, S., Fodor, P., Wan, H., Kifer, M.: Openrulebench: an analysis of the performance of rule engines. In: Proc. of WWW 2009, pp. 601\u2013610 (2009)","DOI":"10.1145\/1526709.1526790"},{"key":"22_CR8","unstructured":"Minker, J. (ed.): Foundations of Deductive Databases and Logic Programming. Washington DC (1988)"},{"issue":"3","key":"22_CR9","first-page":"475","volume":"73","author":"F. Scarcello","year":"2007","unstructured":"Scarcello, F., Greco, G., Leone, N.: Weighted hypertree decompositions and optimal query plans. JCSS\u00a073(3), 475\u2013506 (2007)","journal-title":"JCSS"},{"issue":"2","key":"22_CR10","first-page":"129","volume":"8","author":"G. Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP\u00a08(2), 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"22_CR11","volume-title":"Principles of Database and Knowledge Base Systems","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge Base Systems. Computer Science Press, Rockvillie (1989)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Wolfson, O., Ozeri, A.: A new paradigm for parallel and distributed rule-processing. In: SIGMOD Conference 1990, New York, USA, pp. 133\u2013142 (1990)","DOI":"10.1145\/93605.98723"},{"key":"22_CR13","unstructured":"Yannakakis, M.: Algorithms for acyclic database schemes. In: Proc. of VLDB 1981, Cannes, France, pp. 82\u201394 (1981)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T05:17:56Z","timestamp":1558588676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}