Skip to main content
SpringerLink
Log in

Generating Repair Rules for Database Integrity Maintenance

  • Conference paper
New Results in Dependability and Computer Systems

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 224))

  • 782 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ceri, S., Widom, J.: Deriving Production Rules for Constraint Maintenance. In: Very Large Data Bases Conference, vol. 16, pp. 566–577 (1990)

    Google Scholar 

  2. Chang, C., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press (1973)

    Google Scholar 

  3. Christiansen, H., Martinenghi, D.: On simplification of database integrity constraints. Fundamental Informaticae 71(2), 371–417 (2006)

    MathSciNet  MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Gertz, M., Lipeck, U.W.: Deriving Integrity Maintenance Triggers From Transaction Graphs. In: Ninth IEEE Conference Data Eng., pp. 22–30 (1993)

    Google Scholar 

  6. Grefen, P.W.P.J.: Integrity Control in Parallel Database Systems. PhD Thesis, University of Twente (Netherlands) (October 1992)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. Ibrahim, H.: Semantic Integrity Constraints Enforcement for Distributed Database. PhD Thesis, University of Wales College of Cardiff, Cardiff (UK) (June 1998)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. Martinenghi, D.: Advanced techniques for efficient data integrity checking. PhD dissertation, Roskilde University, Denmark (2005)

    Google Scholar 

  12. McCarroll, N.F.: Semantic Integrity Enforcement in Parallel Database Machines. PhD Thesis, Department of Computer Science, University of Sheffield, Sheffield (UK) (May 1995)

    Google Scholar 

  13. Moerkotte, G., Lockemann, P.C.: Reactive Consistency Control in Deductive Databases. ACM Trans. Database Systems 16(4), 670–702 (1991)

    Article  Google Scholar 

  14. Schewe, K.D., Thalheim, B., Schmidt, J.W., Wetzel, I.: Integrity Enforcement in Object Oriented Database. In: Modeling Database Dynamics, pp. 174–195 (1993)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. Wuethrich, B.: On Updates and Inconsistency Repairing in Knowledge Bases. In: IEEE Conference of Data Eng. (1993)

    Google Scholar 

  19. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Prince Al-Hussein bin Abdullah II Faculty of Information Technology, Hashemite University, Zarqa, Jordan

    Feras Hanandeh & Yaser Quasmeh

Authors
  1. Feras Hanandeh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yaser Quasmeh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Feras Hanandeh .

Editor information

Editors and Affiliations

  1. , Institute of Computer Engineering, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wrocław, 50-372, Poland

    Wojciech Zamojski

  2. , Institute of Computer Engineering, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wrocław, 50-372, Poland

    Jacek Mazurkiewicz

  3. , Institute of Computer Engineering, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wrocław, 50-372, Poland

    Jarosław Sugier

  4. , Institute of Computer Engineering, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wrocław, 50-372, Poland

    Tomasz Walkowiak

  5. , Systems Research Institute, Polish Academy of Sciences, ul. Newelska 6, Warszawa, 01-447, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation