Advertisement

Update rules in datalog programs

  • M. Halfeld Ferrari Alves
  • D. Laurent
  • N. Spyratos
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 928)

Abstract

We consider Datalogneg databases containing two kinds of rules: update rules and query rules. We regard update rules as constraints, all consequences of which must hold in the database until a new update. We introduce a semantics framework for database updates and query answering based on the well-founded semantics. In this framework, updating over intensional predicates is deterministic.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. J. Alferes and L. M. Pereira. On logic of program semantics with two kinds of negation. In Proceedings of the Joint International Conference and Symposium of Logic Programming, 1992.Google Scholar
  2. 2.
    N. Bidoit. Negation in rule-based database languages: a survey. Theoretical Computer Science, 78(1), 1991.Google Scholar
  3. 3.
    N. Bidoit and Ch. Froidevaux. Negation by default and unstratifiable logic programs. Theoretical Computer Science, 78(1), 1991.Google Scholar
  4. 4.
    S. Ceri, G.Gottlob, and L.Tanca. Logic Programming and Databases. Springer-Verlag, 1990.Google Scholar
  5. 5.
    A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1991.Google Scholar
  6. 6.
    M. Gelfond and V. Lifschitz. Logic programming with classical negation. In Proceedings of the Seventh International Conference of Logic Programming, 1990.Google Scholar
  7. 7.
    M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the Fifth International Conference and Symposium of Logic Programming, 1990.Google Scholar
  8. 8.
    M. Gelfond, H. Przymusinka, and T. Przymusinki. On the relationship between circumscription and negation as failure. Artificial Inteligence, 38(1), 1989.Google Scholar
  9. 9.
    M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Passive and active rules in deductive databases. Technical Report LRI, Université de Paris-Sud, 1994.Google Scholar
  10. 10.
    M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Passive and active rules in deductive databases. In Proceedings of the International Symposium on Mathematical Foundations of Computer Science, number 841 in LNCS — Lecture Notes in Computer Science. Springer-Verlag, 1994.Google Scholar
  11. 11.
    M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Update driven rules in Datalogneg databases. Technical Report 94-06, LIFO, Université d'Orléans, 1994.Google Scholar
  12. 12.
    M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Update rules in Datalog programs. Technical Report LRI, Université de Paris-Sud, 1995.Google Scholar
  13. 13.
    K. Konolige. On the relation between default and autoepistemisc logic. Artificial Inteligence, 35, 1989.Google Scholar
  14. 14.
    R. A. Kowalski and F. Sadri. Logic programs with exceptions. In Proceedings of the Seventh International Conference of Logic Programming, 1990.Google Scholar
  15. 15.
    J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second extended edition, 1987.Google Scholar
  16. 16.
    T. C. Przymusinki. On the relationship between logic programming and nonmontonic reasoning. In The seventh National Conference of Artificial Intelligence, Saint Paul, Minnesota, 1988.Google Scholar
  17. 17.
    R. Reiter. On closed word databases. In H. Gallaire and J. Minker, editors, Logic and data bases. Plenum Press, New York, 1978.Google Scholar
  18. 18.
    J. C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, 1988.Google Scholar
  19. 19.
    J.D. Ullman. Principles of Databases and Knowledge Base Systems, volume I and II. Computer Science Press, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • M. Halfeld Ferrari Alves
    • 2
  • D. Laurent
    • 1
    • 2
  • N. Spyratos
    • 2
  1. 1.LIFOUniversité d'OrléansOrléans Cedex 2France
  2. 2.LRIUniversité de Paris-SudOrsay CedexFrance

Personalised recommendations