Integrity enforcement in relational systems with active and deductive capabilities

Summary form only given. We propose a method for integrity enforcement in relational databases with view definition. The method uses the production rule mechanism provided by active database systems. It generates a set of rules at schema specification time; this set of rules repairs the inconsistency produced by some user transaction. The event part of the rules consists of a simple update operation that can violate an integrity constraint; the condition part verifies whether the event actually induces the violation; and, finally the action part is a set of transactions that can repair the violation. The new approach is simple and offers solutions to the problem of missing values and recursive views. The method is sound for all the cases and it never loops.