{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:30Z","timestamp":1725565410667},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_26","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"371-385","source":"Crossref","is-referenced-by-count":28,"title":["Enhancing the Magic-Set Method for Disjunctive Datalog Programs"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Cumbo","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS\u00a022, 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative Problem-Solving Using the DLV System. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer, Dordrecht (2000)"},{"key":"26_CR4","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning (2004) (to appear), Available via http:\/\/www.arxiv.org\/ps\/cs.AI\/0211004"},{"key":"26_CR5","first-page":"411","volume-title":"KR 2000","author":"T. Janhunen","year":"2000","unstructured":"Janhunen, T., Niemel\u00e4, I., Simons, P., You, J.H.: Partiality and Disjunctions in Stable Model Semantics. In: KR 2000, April 12-15, 2000, pp. 411\u2013419. Morgan Kaufmann, San Francisco (2000)"},{"key":"26_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-24627-5_3","volume-title":"Foundations of Information and Knowledge Systems","author":"O. Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol.\u00a02942, pp. 14\u201330. Springer, Heidelberg (2004)"},{"key":"26_CR7","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, Rockville (1989)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS 1986, pp. 1\u201316 (1986)","DOI":"10.1145\/6012.15399"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. JLP\u00a010, 255\u2013259 (1991)","journal-title":"JLP"},{"key":"26_CR10","first-page":"56","volume-title":"PODS 1994","author":"P.J. Syuckey","year":"1994","unstructured":"Syuckey, P.J., Sudarshan, S.: Compiling query constraints. In: PODS 1994, pp. 56\u201367. ACM Press, New York (1994)"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(94)00153-A","volume":"146","author":"D.B. Kemp","year":"1995","unstructured":"Kemp, D.B., Srivastava, D., Stuckey, P.J.: Bottom-up evaluation and query optimization of well-founded models. Theoretical Computer Science\u00a0146, 145\u2013184 (1995)","journal-title":"Theoretical Computer Science"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/233269.233360","volume-title":"SIGMOD Conference 1996","author":"P. Seshadri","year":"1996","unstructured":"Seshadri, P., Hellerstein, J.M., Pirahesh, H., Leung, T.Y.C., Ramakrishnan, R., Srivastava, D., Stuckey, P.J., Sudarshan, S.: Cost-based optimization for magic: Algebra and implementation. In: SIGMOD Conference 1996, pp. 435\u2013446. ACM Press, New York (1996)"},{"key":"26_CR13","first-page":"368","volume":"15","author":"S. Greco","year":"2003","unstructured":"Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries. IEEE TKDE\u00a015, 368\u2013385 (2003)","journal-title":"IEEE TKDE"},{"key":"26_CR14","first-page":"448","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Eiter, T., Gottlob, G.: Default Logic as a Query Language. IEEE TKDE\u00a09, 448\u2013463 (1997)","journal-title":"IEEE TKDE"},{"key":"26_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/3-540-60084-1_102","volume-title":"Automata, Languages and Programming","author":"S. Greco","year":"1995","unstructured":"Greco, S., Sacc\u00e0, D., Zaniolo, C.: The PushDownMethod to Optimize Chain Logic Programs (Extended Abstract). In: F\u00fcl\u00f6p, Z., Gecseg, F. (eds.) ICALP 1995. LNCS, vol.\u00a0944, pp. 523\u2013534. Springer, Heidelberg (1995)"},{"key":"26_CR16","first-page":"222","volume":"47","author":"R. Ramakrishnan","year":"1993","unstructured":"Ramakrishnan, R., Sagiv, Y., Ullman, J.D., Vardi, M.Y.: Logical Query Optimization by Proof-Tree Transformation. JCSS\u00a047, 222\u2013248 (1993)","journal-title":"JCSS"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Gupta, A., Mumick, I.S.: Magic-sets Transformation in Nonrecursive Systems. In: PODS 1992, pp. 354\u2013367 (1992)","DOI":"10.1145\/137097.137908"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Mumick, I.S., Finkelstein, S.J., Pirahesh, H., Ramakrishnan, R.: Magic is relevant. In: SIGMOD Conference 1990, pp. 247\u2013258 (1990)","DOI":"10.1145\/93597.98734"},{"key":"26_CR19","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/773153.773164","volume-title":"PODS 2003","author":"A. Behrend","year":"2003","unstructured":"Behrend, A.: Soft stratification for magic set based query evaluation in deductive databases. In: PODS 2003, pp. 102\u2013110. ACM Press, New York (2003)"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Logics in Artificial Intelligence","author":"P. Baumgartner","year":"1996","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. In: Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS, vol.\u00a01126, pp. 1\u201317. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:55Z","timestamp":1605759595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}