Processing deductions in an active fashion

Abstract

Active and deductive rules in databases and procedural attachment in knowledge bases are used as mechanisms of computation of derived attributes. These research domains have become very closely related. The support of derivations in current active databases suffers from many semantic and technical problems. Active rules in their ECA (Event Condition Action) form are event oriented whereas derivations are naturally data oriented. Deductive rules are well adapted to relational databases, but their integration within the object oriented model does not always have successful results. Procedural attachment may be considered as both a deductive and active process, but it uses an imperative language to derive attributes. We try to focus on the use of active rules to derive attributes in an object oriented model. We give our approach for the support of deductions in a declarative assertion language and their processing in an active way. We propose a declarative derivation approach integrated within an object oriented model.