Formalizing Database Evolution in the Situation Calculus

  title={Formalizing Database Evolution in the Situation Calculus},
  author={Raymond Reiter},
We continue our exploration of a theory of database updates (Re-iter 21, 23]) based upon the situation calculus. The basic idea is to take seriously the fact that databases evolve in time, so that updatable relations should be endowed with an explicit state argument representing the current database state. Database transactions are treated as functions whose eeect is to map the current database state into a successor state. The formalism is identical to that arising in the artiicial… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 22 references

Monotonic solution of the frame problem in the situa- tion calculus: an e cient method for worlds with fully speci ed actions

  • L. K. Schubert
  • Knowledge Rep- resentation and Defeasible…
  • 1990
Highly Influential
8 Excerpts

The case for domain-speci c frame axioms

  • A. R. Haas
  • Proceedings of the 1987 workshop,
  • 1987
Highly Influential
5 Excerpts

Some philosophical problems from the stand- point of arti cial intelligence

  • J. McCarthy, P. Hayes
  • chine Intelligence
  • 1969
Highly Influential
3 Excerpts

Proving properties of states in the situation calculus

  • R. Reiter
  • 1992
3 Excerpts

Similar Papers

Loading similar papers…