Hypothetical Temporal Reasoning with History Encoding (Extended Abstract)

In this paper we integrate a history--encoding based methodology developed by Chomicki for checking dynamic database integrity constraints into a situation-calculus based specification of database updates as proposed by Reiter. By doing this, we are able to: (1) Answer queries about a whole hypothetical evolution of a database, without having to update the entire database and keep the information associated to all the generated states, (2) Stating and proving dynamic integrity constraints as...