Formalizing Database Evolution in the Situation Calculus.

Published in: FGCS (1992)

Keyphrases

situation calculus
database
event calculus
action theories
initial state
databases
provably correct
reasoning about actions
relational databases
reasoning tasks
logical language
fluent calculus
data model
database systems
concurrent actions
universally quantified
taxonomic reasoning
blocks world
agent programming