Abstract
In this paper we review the research on integrity enforcement in database systems. Integrity enforcement is the task of ensuring that a user transaction applied to a legal database state leads to a new state which is also legal. The common rationale of the research in this area is to centralize the management of data integrity, by extracting this task from application programs and by bringing it into an ad-hoc component, which may be incorporated into the DBMS.
This work has been partially supported by ESPRIT Project n. 6333 IDEA and by Progetto Finalizzato LOGIDATA+ of C.N.R. (Italian National Research Institute)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
B. Thalheim “Dependencies in relational databases”, B. G. Teubner Verlgsgesellshaft, Stuttgart, 1991
S. Ceri, F. Garzotto, G. Gottlob “Specification and management of database integrity constraint through logic programming techniques”, to be published as Tech. Rep. Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano
G. Moerkotte, P. C. Lockemann, “Reactive Consistency Control In Deductive Databases” ACM TODS, Vol. 16 No. 4, Dec. 1991, pp. 670–702
J. M. Nicolas, K. Yazdanian “Integrity checking in deductive databases”, in Logic and Databases, H. Gallaire and J. Minker Eds., Plenum, New York, 1978, pp. 325–344
J. A. Pastor, “Deriving Consistency-preserving Transaction Specification for (View-)Updates in Relational Databases”, Proc. 3rd Int. Workshop on the Deductive Approach to Information Systems and Databases, Roses — Costa Brava (Catalonia), Sept. 1992, pp. 275–300
S. Urban, L. Delcambre “Constraint analysis: a design process for specifying operations on objects”, IEEE Trans. on Knowledge and Data Engineering, Vol. 2 No. 4, Dec. 1990, pp. 391–400
B. Wüthrich “On Update and Inconsistency Repairing in Knowledge Bases”, Proc. 9th IEEE Int. Conference on Data Engineering, Vienna, Austria, Apr. 1993, pp. 608–615
S. Ceri, J. Widom “Deriving Production Rules for Constraint Maintenance”, Proc. 16th VLDB, Brisbane, Australia, Aug. 1990, pp. 566–577
M. A. Casanova, L. Tuckerman, A. L. Furtado “Enforcing inclusion dependencies and referential integrity”, Proc. 14th VLDB, Los Angeles, California, Aug. 1988, pp. 38–49
P. Fraternali, S. Paraboschi, L. Tanca “Automatic rule generation for correction of constraint violations in active databases”, Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany, Oct. 1992, pp. 93–112
D. Stemple, S. Mazumdar, T. Sheard “On the modes and meaning of feedback to transaction designer”, Proc. of ACM-SIGMOD, San Francisco, California, May 1987, pp. 374–386
T. Sheard, D. Stemple “Automatic Verification of Database Transaction Safety”, ACM TODS, Vol. 14 No. 3, Sept. 1989, pp. 322–368
J. Chomicki “History-less Checking of Dynamic Integrity Constraints”, Proc. 8th IEEE Int. Conf. on Data Engineering, Phoenix, Arizona, Feb. 1992, pp. 557–564
S. Ceri, F. Garzotto “Specification and management of database integrity constraint through logic programming”, Tech. Rep. n. 88–025, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1988
M. Gertz, U. W. Lipeck “Deriving Integrity Maintaining Triggers from Transitions Graphs”, Proc. 9th IEEE Int. Conf. on Data Engineering, Vienna, Austria, Apr. 1993, pp. 22–29
K. D. Schewe, B. Thalheim, J. W. Schmidt, I. Wetzel “Integrity Enforcement in Object-Oriented Databases”, Proc. 4th Int. Workshop on Foundations of Models and Languages for Data and Objects, Oct. 1992, Volkse, Germany, pp. 181–206
F. Bry, H. Decker, R. Manthey “A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases”, in Proc. EDBT 88, LNCS 303, Venice, Italy, pp.489–505
Y. Zhou, M. Hsu “A theory for rule triggering systems”, in Proc. of EDBT ′90, LNCS 416, Springer-Verlag, Berlin, March 1990, pp. 407–421
S. Chakravarthy “Rule management and evaluation: an active DBMS perspective”, ACM SIGMOD Record Vol. 18 No.3, Sept. 1989, pp. 20–28
M. Stonebraker, A. Juingran, J. Goh, S. Potamianos “On rules, procedures, caching and views in database systems”, Proc. of ACM-SIGMOD, May 1990, pp. 281–290
J. Widom, S. J. Finkelstein “Set-oriented production rules in relational database systems”, Proc. of ACM-SIGMOD, May 1990, pp. 259–270
U. Dayal et al. “The HiPAC Project: combining active databases and timing constraints”, ACM SIGMOD Record Vol. 17 No. 1, Mar. 1988, pp. 51–70
J. Widom “A denotational semantics for the Starbust production rule language”, SIGMOD Record, Vol 21 No. 3, Sept. 1992, pp. 4–9
A. Aiken, J. Widom, J. M. Hellerstein “Behavior of database production rules: termination, confluence and observable determinism”, Research Report RJ 8562 (77200), IBM Research Division, Almaden Research Center, San Jose, California, Jan. 1992
F. Bancilhon N. Spyratos “Update Semantics of Relational Views” ACM TODS Vol. 6 No. 4, Dec. 1981, pp. 557–575
A. M. Keller “Choosing a View Update Translator by Dialog at view Definition Time” Proc. 12th VLDB, Kyoto, Japan, Aug. 1986, pp. 467–474
G. Gottlob, P. Paolini, R. Zicari “Properties and Update Semantics of Consistent Views” ACM TODS Vol. 13 No. 4, Dec. 1988, pp 486–524
J. A. Larson, A. S. Sheth “Updating Relational Views Using Knowledge at View Definition and View Update Time” Information Systems, Vol. 16 No. 2, 1991, pp. 145–168
S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca “Automatic Generation of Production rules for Integrity Maintenance”, Tech. Rep. n. 92–054, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992 (submitted for publication)
S. D. Urban, A. P. Karadimce, R. B. Nannapaneni “The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database”, Proc. 8th Int. Conf. on Data Engineering, Feb. 1992, Phoenix, Arizona, pp. 565–572
A. P. Karadimce, S. D. Urban “Diagnosing Anomalous Rule Behavior in Databases with Integrity Maintenance Production Rules”, Proc. 3th Int. Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, Sept. 1991, pp. 77–102
S. D. Urban, M. Desiderio “CONTEXT: A CONstrainT Explanation Tool” Data & Knowledge Engineering, Vol. 8 (1992), pp. 153–183
S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca “Constraint Enforcement through Production Rules: Putting Active Databases to Work”, Data Engineering, Vol. 15 No. 1-4, Dec. 1992, pp. 10–14
P. Fraternali, S. Paraboschi “Selecting Rules for Constraint Maintenance: Complexity and Heuristic Solution”, Tech. Rep. n. 92–057, Laboratorio di Calcolatori, Dipartimento di Elettronica, Politecnico di Milano, 1992 (submitted for publication)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Fraternali, P., Paraboschi, S. (1994). A Review of Repairing Techniques for Integrity Maintenance. In: Paton, N.W., Williams, M.H. (eds) Rules in Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3225-7_20
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3225-7_20
Publisher Name: Springer, London
Print ISBN: 978-3-540-19846-8
Online ISBN: 978-1-4471-3225-7
eBook Packages: Springer Book Archive