Skip to main content
SpringerLink
Log in

A Review of Repairing Techniques for Integrity Maintenance

  • Conference paper
Rules in Database Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

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 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. B. Thalheim “Dependencies in relational databases”, B. G. Teubner Verlgsgesellshaft, Stuttgart, 1991

    Google Scholar 

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

    Google Scholar 

  3. G. Moerkotte, P. C. Lockemann, “Reactive Consistency Control In Deductive Databases” ACM TODS, Vol. 16 No. 4, Dec. 1991, pp. 670–702

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  8. S. Ceri, J. Widom “Deriving Production Rules for Constraint Maintenance”, Proc. 16th VLDB, Brisbane, Australia, Aug. 1990, pp. 566–577

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  12. T. Sheard, D. Stemple “Automatic Verification of Database Transaction Safety”, ACM TODS, Vol. 14 No. 3, Sept. 1989, pp. 322–368

    Article  Google Scholar 

  13. J. Chomicki “History-less Checking of Dynamic Integrity Constraints”, Proc. 8th IEEE Int. Conf. on Data Engineering, Phoenix, Arizona, Feb. 1992, pp. 557–564

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  19. S. Chakravarthy “Rule management and evaluation: an active DBMS perspective”, ACM SIGMOD Record Vol. 18 No.3, Sept. 1989, pp. 20–28

    Article  Google Scholar 

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

    Google Scholar 

  21. J. Widom, S. J. Finkelstein “Set-oriented production rules in relational database systems”, Proc. of ACM-SIGMOD, May 1990, pp. 259–270

    Google Scholar 

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

    Article  Google Scholar 

  23. J. Widom “A denotational semantics for the Starbust production rule language”, SIGMOD Record, Vol 21 No. 3, Sept. 1992, pp. 4–9

    Article  Google Scholar 

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

    Google Scholar 

  25. F. Bancilhon N. Spyratos “Update Semantics of Relational Views” ACM TODS Vol. 6 No. 4, Dec. 1981, pp. 557–575

    Article  MATH  Google Scholar 

  26. A. M. Keller “Choosing a View Update Translator by Dialog at view Definition Time” Proc. 12th VLDB, Kyoto, Japan, Aug. 1986, pp. 467–474

    Google Scholar 

  27. G. Gottlob, P. Paolini, R. Zicari “Properties and Update Semantics of Consistent Views” ACM TODS Vol. 13 No. 4, Dec. 1988, pp 486–524

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  32. S. D. Urban, M. Desiderio “CONTEXT: A CONstrainT Explanation Tool” Data & Knowledge Engineering, Vol. 8 (1992), pp. 153–183

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e Informazione, Politecnico di Milano, P. zza Leonardo da Vinci 32, 20133, Milano, Italy

    Piero Fraternali & Stefano Paraboschi

Authors
  1. Piero Fraternali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefano Paraboschi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing and Electrical Engineering, Heriot-Watt University, Riccarton, Edinburgh, EH 14 4AS, Scotland

    Norman W. Paton BSc, PhD  & M. Howard Williams BSc, PhD, FRSA, FBCS, CEng  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation