Automatic Rule Generation for Constraint Enforcement in Active Databases

In conventional database systems, consistency is preserved either by forbidding operations that violate integrity constraints or by rolling back transactions that produce inconsistent database states. A third way to integrity maintenance is that of post processing faulty transactions, by introducing system-generated compensating actions that lead to a database state which is consistent and as close as possible to that intended by the user. Active databases provide the appropriate technology to implement this paradigm.