Skip to main content
Springer Nature Link
Log in

FOLRE: A deductive database system for the integrated treatment of updates

  • Conference paper
  • First Online:
Rules in Database Systems (RIDS 1997)

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

Included in the following conference series:

  • 146 Accesses

Abstract

We present in this paper both a novel theoretically well-founded framework for integrating the treatment of advanced update and rule enforcement problems in deductive databases and the architecture of a new deductive database management system based upon such a framework. Our results extend the query-processing and basic updating functionalities provided by current deductive database systems with integrated view updating and materialization, integrity checking and maintenance, and condition monitoring; both for on-line updates and predefined transactions.

The distinguishing feature of our approach is the underlying integrative framework used to specify and combine update problems which facilitates their implementation. Our system bears an architecture consisting of a deductive front-end that takes care of any updating task, working on a pre-existing deductive back-end that handles all storage, retrieval and transaction management issues. Since the integrated treatment of advanced updating is an important issue both for deductive databases and for other database models, we hope that our approach helps to fill an important gap within current database technology.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Ceri, S.; Widom, J. “Deriving Production Rules for Incremental View Maintenance”, 17th. Int. Conf on Very Large Databases (VLDB), Barcelona, 1991, pp 577–589.

    Google Scholar 

  2. 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), Bonn (Germany), 1996.

    Google Scholar 

  3. Decker, H.; Teniente, E.; Urpí, T. “How to Tackle Schema Validation by View Updating”, Int. Conf. on Extending Database Technology (EDBT), Avignon, France, 1996, pp. 535–549.

    Google Scholar 

  4. ECLiPSe User Manual, Technical Report, ECRC, 1994.

    Google Scholar 

  5. Friesen,O.; Lefebvre, A.; Vieille, L. “Validity: Applications of a DOOD System”, Int. Conf. on Extending Database Technology (EDBT), Avignon, France, 1996, pp. 131–134.

    Google Scholar 

  6. [GCM+94] 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 

  7. Gupta, A; Mumick, I.S. “Maintenance of Materialized Views: Problems, Techniques and Applications”, Data Engineering, Vol. 16, No. 2, 1995.

    Google Scholar 

  8. Kakas, A.; Mancarella, P. “Database Updates through Abduction”, Proc. of the 13th Int. Conf. on Very Large Data Bases (VLDB), Brighton 1987, pp. 61–70.

    Google Scholar 

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

    Google Scholar 

  10. Minker,J. “Logic and Databases: a 20 Year Retrospective”, Int. Workshop on Logic in Databases (LID), San Miniato (Italy), 1996, pp. 5–52.

    Google Scholar 

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

  12. Mayol, E.; Teniente, E. “Incorporating Modification Requests in Updating Consistent Knowledge Bases”, 4th Int. Workshop on the Deductive Approach to Information Systems and Databases (DAISD), 1993, pp. 335–360.

    Google Scholar 

  13. Mayol, E.; Teniente, E. “Structuring the Process of Integrity Maintenance”, 8th Database and Expert Systems Applications (DEXA'97), Toulouse, 1997.

    Google Scholar 

  14. Olivé, A. “Integrity Checking in Deductive Databases”, Proc. 17th Int. Conf. on Very Large Data Bases (VLDB), Barcelona, 1991, pp. 513–523.

    Google Scholar 

  15. Pastor, J.A.; Olivé, A. “Supporting Transaction Design in Conceptual Modelling of Information Systems”, Conf. on Advanced Information Systems Engineering (CAiSE), Jyväkylä, 1995, 40–53.

    Google Scholar 

  16. Pastor, J.A. “Automatic Synthesis of Update Transaction Programs in Deductive Databases”, Ph.D. Thesis, Barcelona, January 1997.

    Google Scholar 

  17. Qian, X.; Wiederhold, G. “Incremental Recomputation of Active Relational Expressions”, IEEE Trans. on Knowledge and Data Engineering, Vol. 3, No. 3, September 1991, pp. 337–341.

    Google Scholar 

  18. Rosenthal, A.; Chakravarthy,S.; Blaustein, B.; Blakeley, J. “Situation Monitoring for Active Databases”, 15th Int.Conf. on Very Large Databases (VLDB), Amsterdam, 1989, pp. 455–464.

    Google Scholar 

  19. Ramakrishnan, K.; Ullman, J. “A Survey of Research on Deductive Database Systems”, Journal of Logic Programming, 23(2), 1995, pp. 125–149.

    Google Scholar 

  20. Siilberschatz,A.;Stonebraker,M.;Ullman,J.“Database Research: Achievements and Opportunities Into the 21st. Century”. Int. Workshop on Logic in Databases, San Miniato, Pisa, 1996, pp. 245–248.

    Google Scholar 

  21. Sadri, F.; Kowalski R. “A Theorem-Prover Approach to Database Integrity”, in J. Minker ed., Foundations of Deductive Databases and Logic Programming, Morgan-Kaufman, 1988, pp. 313–362.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  24. Urpí, T.; Olivé, A. “A Method for Change Computation in Deductive Databases”, 18 th Int. Conf. on Very Large Data Bases, Vancouver, 1992, pp. 225–237.

    Google Scholar 

  25. Special issue on prototypes of deductive database systems, Journal of Very Large Databases, Vol. 3, No. 2, 1994.

    Google Scholar 

  26. Vieille, P.; Bayer, P.; Küchenhoff, V.; Lefebvre, A. “EKS-V1, a Short Overview”, AAAI'90 Workshop on KB Management Systems, 1990.

    Google Scholar 

  27. [VRK+94] Vaghani, J.; Ramamohanarao, K.; Kemp, D.B. et al. “The Aditi Deductive Database System”, The VLDB Journal, Vol. 3, Num. 2, 1994, pp. 245–288.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    E. Mayol, J. A. Pastor, E. Teniente & T. Urpí

Authors
  1. E. Mayol
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Pastor
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. Teniente
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. T. Urpí
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andreas Geppert Mikael Berndtsson

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mayol, E., Pastor, J.A., Teniente, E., Urpí, T. (1997). FOLRE: A deductive database system for the integrated treatment of updates. In: Geppert, A., Berndtsson, M. (eds) Rules in Database Systems. RIDS 1997. Lecture Notes in Computer Science, vol 1312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63516-5_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-63516-5_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63516-1

  • Online ISBN: 978-3-540-69588-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation