Skip to main content
SpringerLink
Log in

Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance

  • Conference paper
  • First Online:
Foundations of Information and Knowledge Systems (FoIKS 2000)

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

Abstract

An important problem that arises when updating a deductive database is that of integrity constraint maintenance. That is, given a consistent database and an update request, to obtain all possible updates of base facts such that the request is satisfied and no integrity constraint is violated. This problem becomes more complex when view updates are also taken into account. In this paper we define a method for view updating and integrity constraint maintenance in deductive databases. We propose a new method that is sound and that improves current methods by dealing with three kinds of updates: insertion, deletion and modification updates on base and derived predicates. Moreover, due to the inclusion of an specific modification operator, the own definition of the method deals with key information of base and derived predicates.

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. Bidoit, N.; Maabout, S. “A Model Theoretic Approach to Update Rule Programs”. Proc. of the International Conference of Database Technology ICDT’97. Delphi, Greece, January 1997. LNCS Vol. 1186.

    Google Scholar 

  2. Bancilhon, F.; Ramakrishnan, R. “An Amateur’s Introduction to Recursive Query Processing”. ACM SIGMOD International Conference on Management of Data. Washington D.C., 1986.

    Google Scholar 

  3. Ceri, S.; Fraternali, P.; Paraboschi, S.; Tanca, L. “Automatic Generation of Production Rules for Integrity Maintenance”. ACM Transactions on Database Systems Vol. 19 no. 3, Sept. 1994, pp. 367–422.

    Article  Google Scholar 

  4. Clark, K.L. “Negation as Failure”. in Gallaire, H.; Minker, J. (Eds.). Logic and Databases. Plenum Press, New York 1978, pp. 293–322.

    Google Scholar 

  5. Console, L.; Sapino, M.L.; Theseider, D. “The Role of Abduction in Database View Updating”. Journal of Intelligent Information Systems Vol.4, pp. 261–280.

    Google Scholar 

  6. Decker, H. “Drawing Updates from Derivations”. Proc. Int. Conf. on Database Theory (ICDT’90) Paris (France) 1990, pp. 437–451.

    Google Scholar 

  7. Decker, H. “One Abductive Logic Programming Procedure for two kind of Updates”. Proc. Workshop DINAMICS’97 at Int. Logic Programming Symposium. Port Jefferson (New York), 1997.

    Google Scholar 

  8. García, C; Celma, M.; Mota, L.; Decker, H. “Comparing and Synthesizing Integrity Checking Methods for Deductive Databases”. 10th Int. Conf. on Data Engineering (ICDE). Houston, USA, 1994, pp. 214–222.

    Google Scholar 

  9. Guessoum, A.; Lloyd, J.W. “Updating Knowledge Bases”. New Generation Computing. Vol. 8, Num. 1, 1990, pp. 71–89.

    Article  MATH  Google Scholar 

  10. Kakas, A.C.; Mancarella, P. “Database Updates Through Abduction”. Proc. of the 16th VLDB Conference. Brisbane, Australia, 1990, pp. 650–661.

    Google Scholar 

  11. Lloyd, J.W. Foundations on Logic Programming. 2nd edition, Springer, 1987.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  13. Lobo, J.; Trajcevski, G. “Minimal and consistent evolution in knowledge bases”. Journal of Applied Non-Classical Logics. Vol. 7. no. 1–2, 1997, pp. 117–146.

    MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  15. Mayol, E.; Teniente, E. “Incorporating Modification Requests in Updating Consistent Knowledge Bases”. Fourth Int. Workshop on the Deductive Approach to Information Systems and Databases. Catalonia, 1993, pp. 275–300.

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  18. Teniente, E.; Urpí, T. “A Common Framework for Classifying and Specifying Deductive Database Updating Problems”. 11th Int. Conf. on Data Engineering (ICDE). Taipei (Taiwan), 1995, pp. 173–183.

    Google Scholar 

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

  20. Wüthrich, B. “On Updates and Inconsistency Repairing in Knowledge Bases”. Int. Conference on Data Engineering (ICDE’93). Vienna 1993, pp. 608–615.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultat d’Informàtica, 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

Editors and Affiliations

  1. Institut für Informatik, Technische Universität Clausthal, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Klaus-Dieter Schewe

  2. Institut für Informatik, Technische Universität Cottbus, Postfach 101344, 03013, Cottbus, Germany

    Bernhard Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mayol, E., Teniente, E. (2000). Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. In: Schewe, KD., Thalheim, B. (eds) Foundations of Information and Knowledge Systems. FoIKS 2000. Lecture Notes in Computer Science, vol 1762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46564-2_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-46564-2_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67100-8

  • Online ISBN: 978-3-540-46564-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation