{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:40:13Z","timestamp":1737362413723,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671008"},{"type":"electronic","value":"9783540465645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46564-2_12","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:03:18Z","timestamp":1186826598000},"page":"192-213","source":"Crossref","is-referenced-by-count":4,"title":["Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance"],"prefix":"10.1007","author":[{"given":"Enric","family":"Mayol","sequence":"first","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030581","volume-title":"Proc. of the International Conference of Database Technology ICDT\u201997","author":"N. Bidoit","year":"1997","unstructured":"Bidoit, N.; Maabout, S. \u201cA Model Theoretic Approach to Update Rule Programs\u201d. Proc. of the International Conference of Database Technology ICDT\u201997. Delphi, Greece, January 1997. LNCS Vol. 1186."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F.; Ramakrishnan, R. \u201cAn Amateur\u2019s Introduction to Recursive Query Processing\u201d. ACM SIGMOD International Conference on Management of Data. Washington D.C., 1986.","DOI":"10.1145\/16894.16859"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"Ceri, S.; Fraternali, P.; Paraboschi, S.; Tanca, L. \u201cAutomatic Generation of Production Rules for Integrity Maintenance\u201d. ACM Transactions on Database Systems Vol. 19 no. 3, Sept. 1994, pp. 367\u2013422.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L. \u201cNegation as Failure\u201d. in Gallaire, H.; Minker, J. (Eds.). Logic and Databases. Plenum Press, New York 1978, pp. 293\u2013322."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Console, L.; Sapino, M.L.; Theseider, D. \u201cThe Role of Abduction in Database View Updating\u201d. Journal of Intelligent Information Systems Vol.4, pp. 261\u2013280.","DOI":"10.1007\/BF00961655"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Decker, H. \u201cDrawing Updates from Derivations\u201d. Proc. Int. Conf. on Database Theory (ICDT\u201990) Paris (France) 1990, pp. 437\u2013451.","DOI":"10.1007\/3-540-53507-1_94"},{"key":"12_CR7","unstructured":"Decker, H. \u201cOne Abductive Logic Programming Procedure for two kind of Updates\u201d. Proc. Workshop DINAMICS\u201997 at Int. Logic Programming Symposium. Port Jefferson (New York), 1997."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, C; Celma, M.; Mota, L.; Decker, H. \u201cComparing and Synthesizing Integrity Checking Methods for Deductive Databases\u201d. 10th Int. Conf. on Data Engineering (ICDE). Houston, USA, 1994, pp. 214\u2013222.","DOI":"10.1109\/ICDE.1994.283033"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A.; Lloyd, J.W. \u201cUpdating Knowledge Bases\u201d. New Generation Computing. Vol. 8, Num. 1, 1990, pp. 71\u201389.","journal-title":"New Generation Computing"},{"key":"12_CR10","unstructured":"Kakas, A.C.; Mancarella, P. \u201cDatabase Updates Through Abduction\u201d. Proc. of the 16th VLDB Conference. Brisbane, Australia, 1990, pp. 650\u2013661."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. Foundations on Logic Programming. 2nd edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"3","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.; Topor, R.W. \u201cMaking Prolog More Expressive\u201d. Journal of Logic Programming. 1984, No. 3, pp. 225\u2013240.","journal-title":"Journal of Logic Programming"},{"issue":"1\u20132","key":"12_CR13","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. \u201cMinimal and consistent evolution in knowledge bases\u201d. Journal of Applied Non-Classical Logics. Vol. 7. no. 1\u20132, 1997, pp. 117\u2013146.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1145\/115302.115298","volume":"16","author":"G. Moerkotte","year":"1991","unstructured":"Moerkotte, G.; Lockemann, P.C. \u201cReactive Consistency Control in Deductive Databases\u201d. ACM Transactions on Database Systems. Vol.16(4), 1991, pp. 670\u2013702.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR15","unstructured":"Mayol, E.; Teniente, E. \u201cIncorporating Modification Requests in Updating Consistent Knowledge Bases\u201d. Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases. Catalonia, 1993, pp. 275\u2013300."},{"key":"12_CR16","unstructured":"Oliv\u00e9, A. \u201cIntegrity Checking in Deductive Databases\u201d, Proc. of the 17th VLDB Conference. Barcelona, Catalonia, 1991, pp. 513\u2013523."},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"Teniente, E.; Oliv\u00e9, A. \u201cUpdating Knowledge Bases while Maintaining their Consistency\u201d. The VLDB Journal. Vol. 4, Num. 2, 1995, pp. 193\u2013241.","journal-title":"The VLDB Journal"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Teniente, E.; Urp\u00ed, T. \u201cA Common Framework for Classifying and Specifying Deductive Database Updating Problems\u201d. 11th Int. Conf. on Data Engineering (ICDE). Taipei (Taiwan), 1995, pp. 173\u2013183.","DOI":"10.1109\/ICDE.1995.380395"},{"key":"12_CR19","unstructured":"Urp\u00ed, T.; Oliv\u00e9, A. \u201cA Method for Change Computation in Deductive Databases\u201d. Proc. of the 18th VLDB Conference. Vancouver, 1992, pp. 225\u2013237."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"W\u00fcthrich, B. \u201cOn Updates and Inconsistency Repairing in Knowledge Bases\u201d. Int. Conference on Data Engineering (ICDE\u201993). Vienna 1993, pp. 608\u2013615.","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46564-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:04:13Z","timestamp":1737360253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46564-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671008","9783540465645"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46564-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}