{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:49:40Z","timestamp":1752551380637,"version":"3.40.1"},"publisher-location":"London","reference-count":34,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198468"},{"type":"electronic","value":"9781447132257"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3225-7_20","type":"book-chapter","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T02:50:31Z","timestamp":1327978231000},"page":"333-346","source":"Crossref","is-referenced-by-count":10,"title":["A Review of Repairing Techniques for Integrity Maintenance"],"prefix":"10.1007","author":[{"given":"Piero","family":"Fraternali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Paraboschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"B. Thalheim \u201cDependencies in relational databases\u201d, B. G. Teubner Verlgsgesellshaft, Stuttgart, 1991","DOI":"10.1007\/978-3-663-12018-6"},{"key":"20_CR2","unstructured":"S. Ceri, F. Garzotto, G. Gottlob \u201cSpecification and management of database integrity constraint through logic programming techniques\u201d, to be published as Tech. Rep. Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano"},{"issue":"4","key":"20_CR3","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1145\/115302.115298","volume":"16","author":"G Moerkotte","year":"1991","unstructured":"G. Moerkotte, P. C. Lockemann, \u201cReactive Consistency Control In Deductive Databases\u201d ACM TODS, Vol. 16 No. 4, Dec. 1991, pp. 670\u2013702","journal-title":"ACM TODS"},{"key":"20_CR4","first-page":"325","volume-title":"Logic and Databases","author":"JM Nicolas","year":"1978","unstructured":"J. M. Nicolas, K. Yazdanian \u201cIntegrity checking in deductive databases\u201d, in Logic and Databases, H. Gallaire and J. Minker Eds., Plenum, New York, 1978, pp. 325\u2013344"},{"key":"20_CR5","unstructured":"J. A. Pastor, \u201cDeriving Consistency-preserving Transaction Specification for (View-)Updates in Relational Databases\u201d, Proc. 3rd Int. Workshop on the Deductive Approach to Information Systems and Databases, Roses \u2014 Costa Brava (Catalonia), Sept. 1992, pp. 275\u2013300"},{"issue":"4","key":"20_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1109\/69.63251","volume":"2","author":"S Urban","year":"1990","unstructured":"S. Urban, L. Delcambre \u201cConstraint analysis: a design process for specifying operations on objects\u201d, IEEE Trans. on Knowledge and Data Engineering, Vol. 2 No. 4, Dec. 1990, pp. 391\u2013400","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"B. W\u00fcthrich \u201cOn Update and Inconsistency Repairing in Knowledge Bases\u201d, Proc. 9th IEEE Int. Conference on Data Engineering, Vienna, Austria, Apr. 1993, pp. 608\u2013615","DOI":"10.1109\/ICDE.1993.344019"},{"key":"20_CR8","unstructured":"S. Ceri, J. Widom \u201cDeriving Production Rules for Constraint Maintenance\u201d, Proc. 16th VLDB, Brisbane, Australia, Aug. 1990, pp. 566\u2013577"},{"key":"20_CR9","unstructured":"M. A. Casanova, L. Tuckerman, A. L. Furtado \u201cEnforcing inclusion dependencies and referential integrity\u201d, Proc. 14th VLDB, Los Angeles, California, Aug. 1988, pp. 38\u201349"},{"key":"20_CR10","unstructured":"P. Fraternali, S. Paraboschi, L. Tanca \u201cAutomatic rule generation for correction of constraint violations in active databases\u201d, Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany, Oct. 1992, pp. 93\u2013112"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"D. Stemple, S. Mazumdar, T. Sheard \u201cOn the modes and meaning of feedback to transaction designer\u201d, Proc. of ACM-SIGMOD, San Francisco, California, May 1987, pp. 374\u2013386","DOI":"10.1145\/38714.38753"},{"issue":"3","key":"20_CR12","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T Sheard","year":"1989","unstructured":"T. Sheard, D. Stemple \u201cAutomatic Verification of Database Transaction Safety\u201d, ACM TODS, Vol. 14 No. 3, Sept. 1989, pp. 322\u2013368","journal-title":"ACM TODS"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"J. Chomicki \u201cHistory-less Checking of Dynamic Integrity Constraints\u201d, Proc. 8th IEEE Int. Conf. on Data Engineering, Phoenix, Arizona, Feb. 1992, pp. 557\u2013564","DOI":"10.1109\/ICDE.1992.213153"},{"key":"20_CR14","unstructured":"S. Ceri, F. Garzotto \u201cSpecification and management of database integrity constraint through logic programming\u201d, Tech. Rep. n. 88\u2013025, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1988"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"M. Gertz, U. W. Lipeck \u201cDeriving Integrity Maintaining Triggers from Transitions Graphs\u201d, Proc. 9th IEEE Int. Conf. on Data Engineering, Vienna, Austria, Apr. 1993, pp. 22\u201329","DOI":"10.1109\/ICDE.1993.344081"},{"key":"20_CR16","unstructured":"K. D. Schewe, B. Thalheim, J. W. Schmidt, I. Wetzel \u201cIntegrity Enforcement in Object-Oriented Databases\u201d, Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects, Oct. 1992, Volkse, Germany, pp. 181\u2013206"},{"key":"20_CR17","unstructured":"F. Bry, H. Decker, R. Manthey \u201cA Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases\u201d, in Proc. EDBT 88, LNCS 303, Venice, Italy, pp.489\u2013505"},{"key":"20_CR18","first-page":"407","volume-title":"Proc. of EDBT \u203290, LNCS 416","author":"Y Zhou","year":"1990","unstructured":"Y. Zhou, M. Hsu \u201cA theory for rule triggering systems\u201d, in Proc. of EDBT \u203290, LNCS 416, Springer-Verlag, Berlin, March 1990, pp. 407\u2013421"},{"issue":"3","key":"20_CR19","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/71031.71034","volume":"18","author":"S Chakravarthy","year":"1989","unstructured":"S. Chakravarthy \u201cRule management and evaluation: an active DBMS perspective\u201d, ACM SIGMOD Record Vol. 18 No.3, Sept. 1989, pp. 20\u201328","journal-title":"ACM SIGMOD Record"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"M. Stonebraker, A. Juingran, J. Goh, S. Potamianos \u201cOn rules, procedures, caching and views in database systems\u201d, Proc. of ACM-SIGMOD, May 1990, pp. 281\u2013290","DOI":"10.1145\/93605.98737"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"J. Widom, S. J. Finkelstein \u201cSet-oriented production rules in relational database systems\u201d, Proc. of ACM-SIGMOD, May 1990, pp. 259\u2013270","DOI":"10.1145\/93605.98735"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/44203.44208","volume":"17","author":"U Dayal","year":"1988","unstructured":"U. Dayal et al. \u201cThe HiPAC Project: combining active databases and timing constraints\u201d, ACM SIGMOD Record Vol. 17 No. 1, Mar. 1988, pp. 51\u201370","journal-title":"ACM SIGMOD Record"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/140979.140980","volume":"21","author":"J Widom","year":"1992","unstructured":"J. Widom \u201cA denotational semantics for the Starbust production rule language\u201d, SIGMOD Record, Vol 21 No. 3, Sept. 1992, pp. 4\u20139","journal-title":"SIGMOD Record"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"A. Aiken, J. Widom, J. M. Hellerstein \u201cBehavior of database production rules: termination, confluence and observable determinism\u201d, Research Report RJ 8562 (77200), IBM Research Division, Almaden Research Center, San Jose, California, Jan. 1992","DOI":"10.1145\/130283.130296"},{"issue":"4","key":"20_CR25","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F Bancilhon","year":"1981","unstructured":"F. Bancilhon N. Spyratos \u201cUpdate Semantics of Relational Views\u201d ACM TODS Vol. 6 No. 4, Dec. 1981, pp. 557\u2013575","journal-title":"ACM TODS"},{"key":"20_CR26","unstructured":"A. M. Keller \u201cChoosing a View Update Translator by Dialog at view Definition Time\u201d Proc. 12th VLDB, Kyoto, Japan, Aug. 1986, pp. 467\u2013474"},{"issue":"4","key":"20_CR27","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G Gottlob","year":"1988","unstructured":"G. Gottlob, P. Paolini, R. Zicari \u201cProperties and Update Semantics of Consistent Views\u201d ACM TODS Vol. 13 No. 4, Dec. 1988, pp 486\u2013524","journal-title":"ACM TODS"},{"issue":"2","key":"20_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0306-4379(91)90012-X","volume":"16","author":"JA Larson","year":"1991","unstructured":"J. A. Larson, A. S. Sheth \u201cUpdating Relational Views Using Knowledge at View Definition and View Update Time\u201d Information Systems, Vol. 16 No. 2, 1991, pp. 145\u2013168","journal-title":"Information Systems"},{"key":"20_CR29","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca \u201cAutomatic Generation of Production rules for Integrity Maintenance\u201d, Tech. Rep. n. 92\u2013054, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992 (submitted for publication)"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"S. D. Urban, A. P. Karadimce, R. B. Nannapaneni \u201cThe Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database\u201d, Proc. 8th Int. Conf. on Data Engineering, Feb. 1992, Phoenix, Arizona, pp. 565\u2013572","DOI":"10.1109\/ICDE.1992.213152"},{"key":"20_CR31","unstructured":"A. P. Karadimce, S. D. Urban \u201cDiagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules\u201d, Proc. 3th Int. Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, Sept. 1991, pp. 77\u2013102"},{"key":"20_CR32","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/0169-023X(92)90035-A","volume":"8","author":"SD Urban","year":"1992","unstructured":"S. D. Urban, M. Desiderio \u201cCONTEXT: A CONstrainT Explanation Tool\u201d Data & Knowledge Engineering, Vol. 8 (1992), pp. 153\u2013183","journal-title":"Data & Knowledge Engineering"},{"issue":"1-4","key":"20_CR33","first-page":"10","volume":"15","author":"S Ceri","year":"1992","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca \u201cConstraint Enforcement through Production Rules: Putting Active Databases to Work\u201d, Data Engineering, Vol. 15 No. 1-4, Dec. 1992, pp. 10\u201314","journal-title":"Data Engineering"},{"key":"20_CR34","unstructured":"P. Fraternali, S. Paraboschi \u201cSelecting Rules for Constraint Maintenance: Complexity and Heuristic Solution\u201d, Tech. Rep. n. 92\u2013057, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992 (submitted for publication)"}],"container-title":["Workshops in Computing","Rules in Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3225-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:11:18Z","timestamp":1742389878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3225-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198468","9781447132257"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3225-7_20","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}