Abstract
In this paper we describe a new approach to repairing violations of integrity constraints in relational databases with null values. By adopting basic concepts from model-based diagnosis, we show how simultaneous reasons for violations of (different) constraints can be determined. These reasons, represented as sets of facts, directly indicate possible repair actions that guarantee to remove the observed violations.
By interleaving the diagnosis of constraint violations and the execution of repair actions, we draw an enumeration schema for possible minimal repair transactions as sequences of repair actions. Each such transaction, when applied to the inconsistent database, guarantees to result in a database consistent with all constraints. In order to enumerate possible repair transactions, repair actions are performed hypothetically using auxiliary relations. This enables the user to query intermediate as well as result states obtained by different repairs in advance.
In order to provide a suitable front-end to the general enumeration schema, we describe various repair strategies which can be imposed by the user. These strategies follow individually specified repair goals and can easily be integrated into the enumeration schema for repair transactions. The proposed strategies range from aspects of minimal change over priorities of stored facts up to the user interaction with the repair process.
Chapter PDF
Similar content being viewed by others
Keywords
References
S. Abiteboul, P. Kanellakis, G. Grahne (1991) On the Representation and Querying of Sets of Possible Worlds. Theoretical Computer Science 78, 159–187.
A. Aiken, J. Widom, J. M. Hellerstein (1992) Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. In M. Stonebraker (ed.), Proc. of the 1992 ACM SIGMOD International Conference on Management of Data, 59–68, ACM Press, New York.
A. P. Buchmann, R. S. Carrera, M. A. Vazquez-Galindo (1991) Handling Constraints and their Exceptions: An Attached Constraint Handler for Object-Oriented CAD Databases. In K. R. Dittrich, U. Dayal, A. P. Buchmann (eds.), On Object-Oriented Database Systems, 65–83, Topics in Information Systems. Springer-Verlag, Berlin.
E. Baralis, S. Ceri, J. Widom (1993) Better Termination Analysis for Active Databases. In N. W. Paton, M. H. Williams (eds.), Rules in Database Systems, Proceedings of the 1st Int. Workshop in Edinburgh, 1993, 163179, Workshops in Computing, Springer-Verlag, London.
S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca (1994) Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems 19:3 (September 1994), 367–422.
M. Celma, C. Garcia, L. Mota, H. Decker (1994) Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. In M. Rusinkiewicz (ed.), Proc. of the 10th IEEE CS International Conference on Data Engineering, 214–222, IEEE Computer Society Press.
K. Eswaran, D. Chamberlin (1975) Functional Specifications of a Subsystem for Data Base Integrity. In D. Kerr (ed.), Proc. of the 1st International Conference on Very Large Data Bases, 48–68, Morgan Kaufmann Publishers, Los Altos, CA.
J. L. Encarnacao, P. C. Lockemann (eds.) (1990) Engineering Databases. Springer, Berlin, 1990.
P. Fraternali, S. Paraboschi (1993) A Review of Repairing Techniques for Integrity Maintenance. In N. W. Paton, M. H. Williams (eds.), Rules in Database Systems, Proc. of the 1st Int. Workshop in Edinburgh, 333–346, Workshops in Computing, Springer-Verlag, London.
P. W. Grefen, P. M. Apers (1993) Integrity Control in Relational Database Systems - An Overview. Data, and Knowledge Engineering 10:2 (March 1993 ), 187–223.
M. Gertz (1994) Specifying Reactive Integrity Control for Active Databases. In J. Widom, S. Chakravarthy (eds.), RIDE’94 - Fourth International Workshop on Research Issues in Data Engineering, 62–70, IEEE Computer Society Press, Los Alamitos, CA.
M. Gertz (1996) Diagnosis and Repair of Constraint Violations in Database Systems, PhD Thesis, University of Hannover, Hannover, July 1996. (Table of contents available under ftp.informatik.uni-hannover.de/papers/1996/Ger96a.ps.gz)
M. Gertz, U. W. Lipeck (1995) A Diagnostic Approach to Repairing Constraint Violations in Databases. In W. Nejdl (ed.), Sixth International Workshop on Principles of Diagnosis (DX`95), Working Papers, October 2–4, Goslar, Germany, 65–72, University of Hannover, Hannover.
W. Hamscher, L. Console, J. de Kleer (1992) Readings in Model-Based Diagnosis. Morgan Kaufmann Publishers, San Mateo, CA.
M. Hammer, D. McLeod (1975) Semantic Integrity in a Relational Database System. In D. Kerr (ed.), Proc. of the 1st International Conference on Very Large Data Bases, 25–47, Morgan Kaufmann Publishers, Los Altos, CA.
T. Imielinski, W. J. Lipski (1984) Incomplete Information in Relational Databases. Journal of the ACM 31:4 (October 1984 ), 761–791.
M. Jeusfeld, M. Jarke (1991) From Relational to Object-Oriented Integrity Simplification. In C. Delobel, M. Kifer, Y. Masunaga (eds.), Deductive and Object-Oriented Databases — Proceedings DOOD’91, 460–477, Lecture Notes in Computer Science 566, Springer-Verlag, Berlin.
J. W. Lloyd, R. W. Topor (1984) Making Prolog More Expressive. Journal of Logic Programming, 225–240.
M. Morgenstern, A. Borgida, C. Lassez, D. Maier, G. Wiederhold (1986) Constraint-Based Systems: Knowledge About Data. In L. Kerschberg (ed.), Expert Database Systems: Proc. from the First International Conference, 23–43, Benjamin/Cummings, Menlo Park, CA.
G. Moerkotte, P. C. Lockemann (1991) Reactive Consistency Control in Deductive Databases. ACM Transactions on Database Systems 16: 4 (December 1991), 670–702.
R. Reiter (1984) Towards a Logical Reconstruction of Relational Database Theory. In M. L. Brodie, J. Mylopoulos, J. W. Schmidt (eds.), On Conceptual Modelling, 191–238. Springer-Verlag, New York.
R. Reiter (1986) A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values. Journal of the ACM 33:2 (April 1986 ), 349–370.
R. Reiter (1987) A Theory of Diagnosis from First Principles. Artificial Intelligence 32, 57–95. Also in (Hamscher at al. 1992 ).
K.-D. Schewe, B. Thalheim (1994) Achieving Consistency in Active Databases. In J. Widom, S. Chakravarthy (eds.), RIDE’S!, - Fourth International Workshop on Research Issues in Data Engineering, 71–76, IEEE Computer Society Press, Los Alamitos, CA.
S. D. Urban, M. Desiderio (1992) CONTEXT: A CONstrainT Explanation Tool. Data é1 Knowledge Engineering 8: 2 (May 1992), 153–183.
M. Y. Vardi (1986) On the Integrity of Databases with Incomplete Information. In Proc. of the 5th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 252–266, ACM Press, New York.
J. Widom (1994) Database Constraint Management Data Engineering 17:2 (June 1994 ), (Special Issue), 2–51.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Gertz, M., Lipeck, U.W. (1997). An Extensible Framework for Repairing Constraint Violations. In: Jajodia, S., List, W., McGregor, G., Strous, L. (eds) Integrity and Internal Control in Information Systems. IICIS 1997. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35317-3_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35317-3_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5529-9
Online ISBN: 978-0-387-35317-3
eBook Packages: Springer Book Archive