Specifying Active Rules for Database Maintenance.

In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Firstly, the derivation of active rules that maintain the consistency of the database by triggering repairing actions. Secondly, we deal with the correct integration of the specification of the derived rules into the original specification of the database dynamics. In particular, we show that the expected results are achieved. For instance, the derived axiomatization includes, at the object level, the specification that repairing action executions must be enforced whenever necessary.