Update programs versus revision programs

  • N. Bidoit
  • S. Maabout
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1216)


This paper presents an update rule language whose semantics is defined using a slight modification of the well founded semantics. This language is compared with revision programs proposed by Marek and Truszczynski in [MT95, MT94]. The relationships existing between revised databases and updated databases extend those previously established between stable and well founded models.


update programs revision programs well founded semantics stable semantics partial databases 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABW88]
    K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–142. Morgan Kaufmann, 1988.Google Scholar
  2. [AG85]
    S. Abiteboul and G. Grahne. Update semantics for incomplete databases. In Proceedings of the 11th VLDB Conference, 1985.Google Scholar
  3. [AGM85]
    CE. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 1985.Google Scholar
  4. [AV91]
    S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43, 1991.Google Scholar
  5. [Bar94]
    C. Baral. Rule based updates on simple knowledge bases. In Proceedings of AAAJ'94, Seattle, USA, August 1994.Google Scholar
  6. [BF91]
    N. Bidoit and C. Froidevaux. General logic databases and programs: Default logic semantics and stratification. Information and Computation, 91:15–54, 1991.CrossRefGoogle Scholar
  7. [BM97]
    N. Bidoit and S. Maabout. A model theoretic approach to update rule programs. In Proceedings of ICDT Conference, LNCS, Delphi, Greece, Jan. 1997. Springer-Verlag.Google Scholar
  8. [Che91]
    W. Chen. Declarative specification of database updates. In Proc. of DOOD'91. Springer, 1991.Google Scholar
  9. [Fag91]
    F. Fages. A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. New Generation Computing, 9(4), 1991.Google Scholar
  10. [GL88]
    M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Proceedings of the 5th international symposium on logic programming. MIT Press, 1988.Google Scholar
  11. [KM91]
    H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledgebase and revisiting it. In Proceedings of Intrl. Conf. on Knowledge Represention and Reasoning (KR'91), 1991.Google Scholar
  12. [MT94]
    V. Marek and M. Truszczynski. Revision specification by means of programs. In Logics in AI. Proceedings of JELIA'94, LNAI. Springer Verlag, 1994.Google Scholar
  13. [MT95]
    V. Marek and M. Truszczynski. Revision programming, database updates and integrity constraints. In Proceedings of the 5th International Conference on Database Theory. ICDT'95, Prague, Jan. 1995.Google Scholar
  14. [PT95]
    T. C. Przymusinski and H. Turner. Update by means of inference rules. In Proceedings of the International Conf. on Logic Programming and Non Monotonic Reasoning, LPNMR'95, LNAI, 1995.Google Scholar
  15. [Rei80]
    R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.CrossRefGoogle Scholar
  16. [vGRS91]
    A. van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. journal of the ACM, 38, 1991.Google Scholar
  17. [WC96]
    J. Widom and S. Ceri. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan-Kaufman, 1996.Google Scholar
  18. [Win89]
    M.A. Winslett. Reasoning about action using possible model approach. In Proceedings of the 7th national conference on AI, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • N. Bidoit
    • 1
  • S. Maabout
    • 1
  1. 1.LIPN. CNRS URA1507Université de ParisVilletaneuseFrance

Personalised recommendations