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

  • E. Mayol
  • J. A. Pastor
  • E. Teniente
  • T. Urpí
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1312)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [CW91]
    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. [Dec96]
    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. [DTU96]
    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. [ECL94]
    ECLiPSe User Manual, Technical Report, ECRC, 1994.Google Scholar
  5. [FLV96]
    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]
    [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. [GM95]
    Gupta, A; Mumick, I.S. “Maintenance of Materialized Views: Problems, Techniques and Applications”, Data Engineering, Vol. 16, No. 2, 1995.Google Scholar
  8. [KM90]
    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. [LT84]
    Lloyd, J.W.; Topor, R.W. “Making Prolog More Expressive”. Journal of Logic Programming, 1984, No. 3, pp. 225–240.Google Scholar
  10. [Min96]
    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. [ML91]
    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. [MT93]
    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. [MT97]
    Mayol, E.; Teniente, E. “Structuring the Process of Integrity Maintenance”, 8th Database and Expert Systems Applications (DEXA'97), Toulouse, 1997.Google Scholar
  14. [Oli91]
    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. [PO95]
    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. [Pas97]
    Pastor, J.A. “Automatic Synthesis of Update Transaction Programs in Deductive Databases”, Ph.D. Thesis, Barcelona, January 1997.Google Scholar
  17. [QW91]
    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. [RCB+89]
    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. [RU95]
    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. [SSU96]
    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. [SK88]
    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. [TO95]
    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. [TU95]
    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. [UO92]
    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. [VLD94]
    Special issue on prototypes of deductive database systems, Journal of Very Large Databases, Vol. 3, No. 2, 1994.Google Scholar
  26. [VPK+90]
    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]
    [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üt93]
    Wüthrich, B. “On Updates and Inconsistency Repairing in Knowledge Bases”, Int. Conf. on Data Engineering, Vienna (ICDE), 1993, pp. 608–615.Google Scholar

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • E. Mayol
    • 1
  • J. A. Pastor
    • 1
  • E. Teniente
    • 1
  • T. Urpí
    • 1
  1. 1.Departament. de LSIUniversitat Politècnica de CatalunyaBarcelonaCatalonia

Personalised recommendations