{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:33Z","timestamp":1725561273583},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_11","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"148-162","source":"Crossref","is-referenced-by-count":4,"title":["Handling Existential Derived Predicates in View Updating"],"prefix":"10.1007","author":[{"given":"Carles","family":"Farr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toni","family":"Urp\u00ed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Bry, F., Manthey, R.: Checking Consistency of Database Constraints: a Logical Basis. In: VLDB, pp. 13\u201320 (1986)"},{"issue":"3","key":"11_CR2","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"Console, L., Sapino, M.L., Theseider, D.: The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems\u00a04(3), 261\u2013280 (1995)","journal-title":"Journal of Intelligent Information Systems"},{"key":"11_CR3","unstructured":"Decker, H.: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. In: JICSLP, pp. 157\u2013169 (1996)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Query Containment With Negated IDB Predicates, To appear in ADBIS (2003)","DOI":"10.1007\/978-3-540-39403-7_31"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Kakas, A., Michael, A.: Integrating Abductive and Constraint Logic Programming, In: Proc. of the 12th ICLP. Kanagawa, Japan, pp. 399\u2013413 (1995)","DOI":"10.7551\/mitpress\/4298.003.0043"},{"key":"11_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"11_CR7","unstructured":"Levy, A., Sagiv, Y.: Queries Independent of Updates. In: Proceedings of the 19th International Conference on Very Large Data Bases, VLDB 1993, pp. 171\u2013181 (1993)"},{"issue":"1-2","key":"11_CR8","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/11663081.1997.10510902","volume":"7","author":"J. Lobo","year":"1997","unstructured":"Lobo, J., Trajcevski, G.: Minimal and Consistent Evolution in Knowledge Bases. Journal of Applied Non-Classical Logics\u00a07(1-2), 117\u2013146 (1997)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W., Topor, R.W.: Making Prolog more Expressive. Journal of Logic Programming\u00a01(3), 225\u2013240 (1984)","journal-title":"Journal of Logic Programming"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-48054-4_6","volume-title":"Advances in Conceptual Modeling","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Kouloumdjian, J., Roddick, J., Chen, P.P., Embley, D.W., Liddle, S.W. (eds.) ER Workshops 1999. LNCS, vol.\u00a01727, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"11_CR11","unstructured":"Mayol, E., Teniente, E.: A Review of Integrity Constraint Maintenance and View Updating Techniques. To appear in Data & Knowledge Engineering (2003)"},{"key":"11_CR12","unstructured":"Oliv\u00e9, A.: Integrity Checking in Deductive Databases. In: Proc. of the 17th VLDB Conference, Barcelona, pp. 513\u2013523 (1991)"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"Teniente, E., Oliv\u00e9, A.: Updating Knowledge Bases While Maintaining Their Consistency. VLDB Journal\u00a04(2), 193\u2013241 (1995)","journal-title":"VLDB Journal"},{"issue":"3","key":"11_CR14","first-page":"287","volume":"3","author":"E. Teniente","year":"2003","unstructured":"Teniente, E., Urp\u00ed, T.: On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. TPLP Journal\u00a03(3), 287\u2013327 (2003)","journal-title":"TPLP Journal"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","first-page":"19","volume-title":"Database Theory - ICDT \u201997","author":"J.D. Ullman","year":"1996","unstructured":"Ullman, J.D.: Information Integration Using Logical Views. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 19\u201340. 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-24599-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T21:51:00Z","timestamp":1711662660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}