Abstract
Repair system has two essential components, which are much related to each other. When the update operation is executed, the first component is the detection of the erroneous state if any and the second component is to repair this state by finding the changes to the update operation that would repair it. Failing to have the second component, which is the repair action, will enforce the user to manually correcting and reentering an erroneous update operation. Our approach will take advantage of the integrity before the update operation, which will result on limiting the detection only to the database state after the update operation. Also the repair component will take advantage of the integrity before the update operation and integrity violation after the update operation but before the repair. The focus of this paper is to generate repairs for all first order constraints, and by using only substitution with no resolution search. Multiple constraints can be satisfied in parallel without a sequential process with no possibility of cyclic violation.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintenance. In: Very Large Data Bases Conference, vol. 16, pp. 566–577 (1990)
Chang, C., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973)
Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamental Informaticae 71(2), 371–417 (2006)
Ceri, S., Fraternali, P., Paraborchi, S., Tanca, L.: Automatic Generation of Production Rules for Integrity Maintenance. ACM Transaction Database Systems 19(3), 366–421 (1994)
Gertz, M., Lipeck, U.W.: Deriving Integrity Maintenance Triggers From Transaction Graphs. In: Ninth IEEE Conference Data Eng., pp. 22–30 (1993)
Grefen, P.W.P.J.: Integrity Control in Parallel Database Systems. PhD Thesis, University of Twente (Netherlands) (October 1992)
Hanandeh, F., Ibrahim, H., Mamat, A., Johari, R.: Virtual rule partitioning method for maintaining database integrity. Int. Arab J. of Information Technology 1(1), 103–108 (2004)
Ibrahim, H.: Semantic Integrity Constraints Enforcement for Distributed Database. PhD Thesis, University of Wales College of Cardiff, Cardiff (UK) (June 1998)
Ibrahim, H.: A Strategy for Semantic Integrity Checking in Distributed Databases. In: Proceedings of the 9th International Conference on Parallel and Distributed Systems (ICPADS 2002), Taiwan, December 17-20, pp. 139–144 (2002)
Ibrahim, H.: Extending Transactions with Integrity Rules for Maintaining Database Integrity. In: Proceedings of the International Conference on Information and Knowledge Engineering, Las Vegas, USA, June 24-27, pp. 341–347 (2002)
Martinenghi, D.: Advanced techniques for efficient data integrity checking. PhD dissertation, Roskilde University, Denmark (2005)
McCarroll, N.F.: Semantic Integrity Enforcement in Parallel Database Machines. PhD Thesis, Department of Computer Science, University of Sheffield, Sheffield (UK) (May 1995)
Moerkotte, G., Lockemann, P.C.: Reactive Consistency Control in Deductive Databases. ACM Trans. Database Systems 16(4), 670–702 (1991)
Schewe, K.D., Thalheim, B., Schmidt, J.W., Wetzel, I.: Integrity Enforcement in Object Oriented Database. In: Modeling Database Dynamics, pp. 174–195 (1993)
Soumya, B., Madiraju, P., Ibrahim, H.: Constraint optimization for a system of relational databases. In: Proc. of the IEEE Int. Conf. on Computer and Info. Technology, Sydney, pp. 155–160 (2008)
Urban, S.D., Delcambre, L.M.: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowledge and Database Eng. 2(4), 391–400 (1990)
Urban, S.D., Lim, B.B.L.: An Intelligent Framework for Active Support of Database Semantics. Int’1 J. Expert Systems 6(1), 1–37 (1993)
Wuethrich, B.: On Updates and Inconsistency Repairing in Knowledge Bases. In: IEEE Conference of Data Eng. (1993)
Wang, X.Y.: The Development of a Knowledge-Based Transaction Design Assistant. PhD Thesis, Department of Computing Mathematics, University of Wales College of Cardiff, Cardiff, UK (1992)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Hanandeh, F., Quasmeh, Y. (2013). Generating Repair Rules for Database Integrity Maintenance. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) New Results in Dependability and Computer Systems. Advances in Intelligent Systems and Computing, vol 224. Springer, Heidelberg. https://doi.org/10.1007/978-3-319-00945-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-00945-2_19
Publisher Name: Springer, Heidelberg
Print ISBN: 978-3-319-00944-5
Online ISBN: 978-3-319-00945-2
eBook Packages: Chemistry and Materials ScienceChemistry and Material Science (R0)