Revision Programming

  title={Revision Programming},
  author={Victor W. Marek and Miroslaw Truszczynski},
  journal={Theor. Comput. Sci.},
In this paper we introduce revision programming — a logic-based framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraints that can be stated in terms of the membership (presence or absence) of items (records) in a database. Each such constraint is represented by a revision rule α← α1, . . . , αk, where α and all αi are of the form in(a) and out(b). Collections of revision rules form revision… CONTINUE READING


Publications referenced by this paper.
Showing 1-2 of 2 references

First-order logic

  • R. M. Smullyan
  • Berlin: Springer-Verlag
  • 1968
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…