Abstract: Termination decision of an active rule set is an important problem in active database. Several recent works have suggested to prove termination using triggering and activation graphs. In these works, a crucial problem which should be solved is to compute

Key words: Active database, Dependent triggering cycle, Activation path, Rule reduction algorithm