Sciweavers

FMLDO
1999
Springer

Specifying Active Rules for Database Maintenance

14 years 4 months ago
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.
Leopoldo E. Bertossi, Javier Pinto
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where FMLDO
Authors Leopoldo E. Bertossi, Javier Pinto
Comments (0)