An approach to monitoring changes in deductive databases

Abstract

We propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicitly define the insertions, deletions and modifications induced by a database update. The main advantage of the method is that it allows a high degree of expressiveness in the representation of derived predicates. The method also uses the classical concept of key in order to obtain a set of rules which are semantically richer.