Rules Termination Analysis investigating the interaction between transactions and triggers

Elisa Bertino, Danilo Montesi, Maria Bagnato, Peter A. Dearnley

Research output: Contribution to conferenceOther

4 Citations (Scopus)


We introduce a new method for rule termination analysis within active databases. This method analyzes interaction between transactions and triggers, by means of Evolution Graphs introduced in [16]. In this paper triggers information and transaction updates are considered in order to study rules termination and simulate execution. First we present the algorithm for testing rule termination and then we show that several termination analysis methods are captured by our method. The proposed approach turns out to be practical and general with respect to various rules languages and thus it may be applied to many database systems.
Original languageEnglish
Number of pages10
Publication statusPublished - Jul 2002
EventInternational Database Engineering and Applications Symposium -
Duration: 1 Jul 2002 → …


ConferenceInternational Database Engineering and Applications Symposium
Period1/07/02 → …

Cite this