Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database and Expert Systems Applications

DEXA 1997: Database and Expert Systems Applications pp 262–275Cite as

Structuring the process of integrity maintenance

  • Integrity Constraints
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1308))

Abstract

Two different approaches have been traditionally considered for dealing with the process of integrity constraints enforcement: integrity checking and integrity maintenance. However, while previous research in the first approach has mainly addressed efficiency issues, research in the second approach has been mainly concentrated in being able to generate all possible repairs that falsify an integrity constraint violation.

In this paper we address efficiency issues during the process of integrity maintenance. In this sense, we propose a technique which improves efficiency of existing methods by defining the order in which maintenance of integrity constraints should be performed. Moreover, we use also this technique for being able to handle in an integrated way the integrity constraints enforcement approaches mentioned above.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S. “Updates, a New Frontier”, Int. Conf. on Database Theory (ICDT'88), Springer, 1988, pp.1–18.

    Google Scholar 

  2. Aiken, A.; Hellerstein, J.M.; Widom, J. “Static Analysis Techniques for Predicting the Behavior of Active Database Rules”, ACM Transactions on Database Systems, Vol. 20, N° 1, March 1995, pp. 3–41.

    Google Scholar 

  3. Bancilhon, F.; Ramakrishnan, R, “An Amateur's Introduction to Recursive Query Processing”, Proc. ACM SIGMOD Int. Conf. on Management of Data, Washington D.C., 1986.

    Google Scholar 

  4. Baralis, E.; Widom, J. Algebraic “Approach to Rule Analysis in Expert Database System”, Proc. of the 20th VLDB Conference, Santiago, Chile, 1994, pp. 475–486.

    Google Scholar 

  5. García, C.; Celma, M; Mota, L.; Decker, H. “Comparing and Synthesising Integrity Checking Methods for Deductive Databases”, Int. Conf. on Data Engineering (ICDE'94), Houston (Texas), 1994, pp. 214–222.

    Google Scholar 

  6. Chen, I.A.; Hull, R.; McLeod, D. “An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update”. ACM Transactions on Database Systems, Vol. 20, N° 4, December 1995, pp. 365–413.

    Google Scholar 

  7. Costal, D. “Un mètode de planificació basat en l'actualització de vistes en bases de dades deductives”, PhD Thesis, Barcelona, 1995 (in catalan).

    Google Scholar 

  8. Decker, H. “The Range Form of databases or How to avoid Floundering”, Proc. 5th ÖGAI, Springer-Verlag, 1989.

    Google Scholar 

  9. Decker, H. “An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases”, Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn (Germany), 1996.

    Google Scholar 

  10. Gertz, M. “On Specifying the Reactive Behavior on Constraint Informatik-Berichte 2/93, Institut für Informatik, Universität Hannover, 1993.

    Google Scholar 

  11. Gertz, M. “Specifying Reactive Integrity Control for Active Databases”, Research Issiues on Data Engineering: Active Databases (RIDE-ADS'94), Houston, Texas, 1994, pp. 62–70.

    Google Scholar 

  12. Lloyd, J.W. “Foundations on Logic Programming”, 2nd edition, Springer, 1987.

    Google Scholar 

  13. Lloyd, J.W.; Topor, R.W. “Making Prolog More Expressive”. Journal of Logic Programming, 1984, No. 3, pp. 225–240.

    Google Scholar 

  14. Moerkotte, G; Lockemann, P.C. “Reactive Consistency Control in Deductive Databases”, ACM Transactions on Database Systems, Vol. 16, No. 4, December 1991, pp. 670–702.

    Google Scholar 

  15. Mayol, E.; Teniente, E. “Towards an Efficient Method for Updating Consistent Deductive Databases”, Basque International Workshop on Information Techlogogy (BIWIT'96): Data Management Systems, IEEE Computer Society Press, San Sebastian, Spain, 1996, pp. 113–122.

    Google Scholar 

  16. Mayol, E.; Teniente, E. “Structuring the Process of Integrity Maintenance (Extended Version)”, Technical Report RR-97/29, 1997, Universitat Politècnica de Catalunya.

    Google Scholar 

  17. Olivé, A. “Integrity Checking in Deductive Databases”, Proc. of the 17th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513–523.

    Google Scholar 

  18. Plexousakis, D. “Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases”, Proc. of the 19th VLDB Conference, Dublin, Ireland, 1993, pp. 146–157.

    Google Scholar 

  19. Seljée, R. “A New Method for Integrity Constraints Checking in Deductive Databases”, Data & Knowledge Engineering, Vol. 15, 1995, pp. 63–102.

    Google Scholar 

  20. Teniente, E.; Olivé, A. “Updating Knowledge Bases while Maintaining their Consistency”, The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193–241.

    Google Scholar 

  21. Teniente, E.; Urpí, T. Common Framework for Classifying and Specifying Deductive Database Updating Problems”, International Conference on Data Engineering (ICDE'95), Taipei, 1995, pp. 173–182.

    Google Scholar 

  22. Urpí, T.; Olivé, A. “A Method for Change Computation in Deductive Databases”, Proc. of the 18th VLDB Conference, Vancouver, 1992, pp. 225–237.

    Google Scholar 

  23. Wüthrich, B. “On Updates and Inconsistency Repairing in Deductive databases”, Int. Conf. on Data Engineering, Vienna, 1993, pp. 608–615.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSI Department, Universitat Politècnica de Catalunya, Jordi Girona Salgado 1-3, Edifici C6, E-08034, Barcelona - Catalonia

    Enric Mayol & Ernest Teniente

Authors
  1. Enric Mayol
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ernest Teniente
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Abdelkader Hameurlain A Min Tjoa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mayol, E., Teniente, E. (1997). Structuring the process of integrity maintenance. In: Hameurlain, A., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1997. Lecture Notes in Computer Science, vol 1308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022037

Download citation

  • DOI: https://doi.org/10.1007/BFb0022037

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63478-2

  • Online ISBN: 978-3-540-69580-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation