{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:50Z","timestamp":1740028790044,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664482"},{"type":"electronic","value":"9783540483090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48309-8_25","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:14:41Z","timestamp":1269897281000},"page":"270-281","source":"Crossref","is-referenced-by-count":12,"title":["Addressing Efficiency Issues During the Process of Integrity Maintenance"],"prefix":"10.1007","author":[{"given":"Enric","family":"Mayol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Console, L.; Sapino, M.L.; Theseider, D. \u201cThe Role of Abduction in Database View Updating\u201d, J. of Intelligent Information Systems, Vol.4, pp. 261\u2013280.","DOI":"10.1007\/BF00961655"},{"issue":"3","key":"25_CR2","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 o3, Sept. 1994, pp-367\u2013422.","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR3","unstructured":"Decker, H. \u201cAn Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases\u201d, Joint International Conference and Symposium on Logic Programming (JICSLP\u201996), Bonn (Germany), 1996."},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/69.567060","volume":"9","author":"P. Fraternali","year":"1997","unstructured":"Fraternali, P.; Paraboschi, S. \u201cOrdering and Selecting Production Rules for Constraint Maintenance: Complexity and Heuristic Solution\u201d IEEE Transactions on Knowledge and Data Engineering, Vol. 9, o 1, 1997, pp-173\u2013178.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Gertz, M. \u201cSpecifying Reactive Integrity Control for Active Databases\u201d, Research Issues on Data Engineering:Active Databases(RIDE-ADS\u201994), Houston, pp.62\u201370.","DOI":"10.1109\/RIDE.1994.282852"},{"key":"25_CR6","unstructured":"Kakas, A.; Mancarella, P. \u201cDatabase Updates through Abduction\u201d, Proc. of the 16th VLDB Conference, Brisbane, Australia, 1990, pp. 650\u2013661."},{"key":"25_CR7","unstructured":"Kowalski, R.; Sadri, F. \u201cLogic Programs with Exceptions\u201d, Seventh International Conference of Logic Programming (ICLP\u201990), 1990, pp.598\u2013613."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. \u201cFoundations on Logic Programming\u201d, 2nd edition, Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.; Topor, R.W. \u201cMaking Prolog More Expressive\u201d. Journal of Logic Programming, 1984, No. 3, pp. 225\u2013240.","DOI":"10.1016\/0743-1066(84)90011-6"},{"issue":"1-2","key":"25_CR10","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. o 1-2\/1997, pp: 117\u2013146.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"25_CR11","unstructured":"Maabout, S. \u201cMaintaining and Restoring Database Consistency with Update Rules\u201d, in Proc. DYNAMICS\u201998 (Workshop of JICSLP\u201998), Manchester, June 98."},{"issue":"4","key":"25_CR12","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 16(4), 1991, pp. 670\u2013702.","journal-title":"ACM Transactions on Database Systems"},{"key":"25_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BFb0022037","volume-title":"8th International Conference on Database and Expert Systems Applications (DEXA\u201997)","author":"E. Mayol","year":"1997","unstructured":"Mayol, E.; Teniente, E. \u201cStructuring the Process of Integrity Maintenance\u201d, 8th International Conference on Database and Expert Systems Applications (DEXA\u201997), LNCS-1308, Toulouse, France, September 1997, pp. 262\u2013275."},{"key":"25_CR14","unstructured":"Mayol, E.; Teniente, E. \u201cAddressing Efficiency Issues During the Process of Integrity Maintenance\u201d, Technical Report LSI-99-27-R."},{"key":"25_CR15","unstructured":"Oliv\u00e9, A. \u201cIntegrity Checking in Deductive Databases\u201d, Proc. of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513\u2013523."},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0169-023X(98)00016-0","volume":"28","author":"K.D. Schewe","year":"1998","unstructured":"Schewe, K.D. \u201cConsistency Enforcement in Entity-Relationship and Object-Oriented Models\u201d, Data & Knowledge Engineering Vol 28,1998, pp.121\u2013140","journal-title":"Data & Knowledge Engineering"},{"issue":"Num. 2","key":"25_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":"25_CR18","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":"25_CR19","doi-asserted-by":"crossref","unstructured":"W\u00fcthrich, B. \u201cOn Updates and Inconsistency Repairing in Deductive databases\u201d, Int. Conf. on Data Engineering, Vienna, 1993, pp. 608\u2013615.","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48309-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:20:47Z","timestamp":1739992847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48309-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664482","9783540483090"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48309-8_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}