{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:54:02Z","timestamp":1778295242512,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540206422","type":"print"},{"value":"9783540245995","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_12","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T04:53:55Z","timestamp":1280379235000},"page":"163-177","source":"Crossref","is-referenced-by-count":31,"title":["Efficient Evaluation of Logic Programs for Querying Data Integration Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Greco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Lembo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. 18th ACM Symposium on Principles of Database Systems (PODS 1999), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"12_CR3","first-page":"27","volume-title":"Proc. 4th Int\u2019l Conference on Flexible Query Answering Systems (FQAS 2000)","author":"M. Arenas","year":"2000","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Specifying and querying database repairs using logic programs with exceptions. In: Proc. 4th Int\u2019l Conference on Flexible Query Answering Systems (FQAS 2000), pp. 27\u201341. Springer, Heidelberg (2000)"},{"key":"12_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/3-540-36109-X_6","volume-title":"Flexible Query Answering Systems","author":"L. Bertossi","year":"2002","unstructured":"Bertossi, L., Chomicki, J., Cortes, A., Gutierrez, C.: Consistent answers from integrated data sources. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522, pp. 71\u201385. Springer, Heidelberg (2002)"},{"key":"12_CR5","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. 18th Int\u2019l Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 10\u201315 (2003)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. 22nd ACM Symposium on Principles of Database Systems (PODS 2003), pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"key":"12_CR7","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. 18th Int\u2019l. Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 16\u201321 (2003)"},{"key":"12_CR8","unstructured":"Chomicki, J., Marcinkowski, J.: Minimal-change integrity maintenance using tuple deletions. Technical Report arXiv : cs . DB\/0212004v1, arXiv.org (2002)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient evaluation of logic programs for querying data integration systems. Extended Manuscript (July 2003)","DOI":"10.1007\/978-3-540-24599-5_12"},{"issue":"3","key":"12_CR10","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 Trans. on Database Systems\u00a022(3), 364\u2013417 (1997)","journal-title":"ACM Trans. on Database Systems"},{"key":"12_CR11","first-page":"1070","volume-title":"Proc. Fifth Logic Programming Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. Fifth Logic Programming Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45635-X_31","volume-title":"Logic Programming","author":"G. Greco","year":"2001","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 348\u2013364. Springer, Heidelberg (2001)"},{"key":"12_CR13","unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Source inconsistency and incompleteness in data integration. In: Proc. KRDB 2002 (2002), http:\/\/ceur-ws.org\/Vol-54\/"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Popa, L. (ed.) Proc. 21st ACM Symposium on Principles of Database Systems (PODS 2002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"12_CR15","unstructured":"Leone, N., et al.: DLV homepage (since 1996), http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"12_CR16","first-page":"23","volume-title":"Proc. 11h Int\u2019l Conference on Logic Programming (ICLP 1994)","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: van Hentenryck, P. (ed.) Proc. 11h Int\u2019l Conference on Logic Programming (ICLP 1994), pp. 23\u201338. MIT Press, Cambridge (1994)"},{"key":"12_CR17","unstructured":"Niemel\u00e4, I., et al.: Smodels homepage (since 1999), http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"12_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\u00a09, 401\u2013424 (1991)","journal-title":"New Generation Computing"},{"key":"12_CR19","unstructured":"Seipel, D.: DisLog - a disjunctive deductive database prototype (system description). In: Bry, F., Freitag, B., Seipel, D. (eds.) Proc. 12th Workshop on Logic Programming (WLP 1997), LMU M\u00fcnchen (September 1997)"},{"key":"12_CR20","unstructured":"Warren, D.S., et al.: XSB homepage (since 1997), http:\/\/xsb.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:55:00Z","timestamp":1559332500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}