{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:48Z","timestamp":1725485568752},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_15","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:48:36Z","timestamp":1180651716000},"page":"216-230","source":"Crossref","is-referenced-by-count":0,"title":["Query Optimization of Disjunctive Databases with Constraints through Binding Propagation"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Greco","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Irina","family":"Trubtsyna","sequence":"additional","affiliation":[]},{"given":"Ester","family":"Zumpano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"15_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V., Foundations of Databases. Addison-Wesley. 1995."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, D. Mayer, Y. Sagiv, and J.F. Ullman. Magic sets and other strange ways to implement logic programs. Proc. PODS Conf., 1986.","DOI":"10.1145\/6012.15399"},{"key":"15_CR3","unstructured":"Beeri, C. and R. Ramakrisnhan. On the power of magic. Journal of Logic Programming, 1991 (prel. version in PODS 1987)."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Buccafurri F., Leone N., and Rullo P., Enhancing disjunctive datalog by constraints. IEEE Transactions on Knowledge and Data Engineering, 12(5), 2000.","DOI":"10.1109\/69.877512"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Eiter T., Gottlob G. and Mannila H., Disjunctive Datalog, in ACM Trans. on Database Systems, Sept. 1997, Vol 22, N. 3 (Prel. vers. in PODS-94).","DOI":"10.1145\/261124.261126"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Eiter T., Leone N., Mateis C., Pfeifer G. and Scarcello F.. A Deductive System for Non-monotonic Reasoning. Proc. LPNMR Conf., 363\u2013374, 1997.","DOI":"10.1007\/3-540-63255-7_27"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, J.A. and Minker, J., Semantics of Disjunctive Deductive Databases, Proc. 4th ICDT Conference, 21\u201350, 1992.","DOI":"10.1007\/3-540-56039-4_31"},{"key":"15_CR8","unstructured":"Gelfond, M., Lifschitz, V., The Stable Model Semantics for Logic Programming, in Proc. Fifth Conf. on Logic Progr., 1070\u20131080, 1998."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9, 365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"15_CR10","unstructured":"Greco S., Optimization of Disjunctive Queries. Int. Conf. on Logic Programming, 441\u2013455, 1999."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"S. Greco and C. Zaniolo, The PushDown Method to Optimize Chain Logic Programs. In Proc. ICALP Conference, 1995.","DOI":"10.1007\/3-540-60084-1_102"},{"key":"15_CR12","unstructured":"Greco S., \u201cMinimal Founded Semantics for Disjunctive Logic Programming In Proc. of the Joint Conf. on Declarative Programming, 329\u2013340, 1996."},{"key":"15_CR13","unstructured":"IFIP-GI Workshop (1994), \u201cDisjunctive Logic Programming and Disjunctive Databases,\u201d 13-th IFIP World Computer Congress."},{"issue":"2","key":"15_CR14","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N. Leone","year":"1997","unstructured":"Leone, N., Rullo, P., Scarcello, F. (1997) Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation, Information and Computation, 135(2), 69\u2013112, 1997.","journal-title":"Information and Computation"},{"key":"15_CR15","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J. and Rajasekar, A. (1992) Foundations of Disjunctive Logic Programming MIT Press, Cambridge, MA."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Minker, J., On Indefinite Data Bases and the Closed World Assumption, in \u201cProc. 6 th CADE Conference, 292\u2013308, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of deductive databases and logic programming","author":"T. Przymusinski","year":"1988","unstructured":"Przymusinski, T., On the Declarative Semantics of Deductive Databases and Logic Programming, in \u201cFoundations of deductive databases and logic programming,\u201c Minker, J. ed., ch. 5, 193\u2013216, Morgan Kaufman, Washington, D.C., 1988"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Przymusinski, T., Stable Semantics for Disjunctive Programs, New Generation Computing, 9, 401\u2013424, 1991.","journal-title":"New Generation Computing"},{"key":"15_CR19","first-page":"222","volume":"47","author":"R. Ramakrisnhan","year":"1993","unstructured":"R. Ramakrisnhan, Y. Sagiv, J.F. Ullman, and M.Y. Vardi. Logical Query Optimization by Proof-Tree Transformation. JCSS, 47, 1993, pp. 222\u2013248.","journal-title":"JCSS"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Ross. K.A., The Well Founded Semantics for Disjunctive Logic Programs, in \u201cDeductive and Object-Oriented Databases,\u201d W. Kim, J.-M. Nicolas and S. Nishio, ed., 385\u2013402, Elsevier Science Publishers B. V., 1990.","DOI":"10.1016\/B978-0-444-88433-6.50029-0"},{"key":"15_CR21","volume-title":"Principles of Database and Know ledge-Base Systems","author":"J. D. Ullman","year":"1989","unstructured":"Ullman J. D., Principles of Database and Know ledge-Base Systems, Computer Science Press, Rockville, Maryland (USA), 1989."},{"issue":"3","key":"15_CR22","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K. A. and Schlipf, J. S., The Well-Founded Semantics for General Logic Programs, J. of ACM, 38(3), 620\u2013650, 1991.","journal-title":"J. of ACM"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:18:04Z","timestamp":1556450284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}