In this paper, we propose new methods for the compile-time analysis of the behavior of active rules, based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called triggering and activation graphs respectively. Analysis techniques presented in this paper are focused on the problem of termination; results provide a systematic identification of reactive behaviors which can be guaranteed to terminate and reactive behaviors which may lead to infinite rule processing. Research presented in this paper is supported by Esprit project P6333 IDEA, and by ENEL contract VDS 1/94: Integrity Constraint Management

Improved rule analysis by means of triggering and activation graphs / Baralis, ELENA MARIA; Ceri, S.; Paraboschi, S.. - STAMPA. - 985:(1995), pp. 165-181. (Intervento presentato al convegno Rules in Database Systems 2nd International Workshop, RIDS '95 tenutosi a Glyfada, Athens (GRC) nel September 25–27, 1995) [10.1007/3-540-60365-4_126].

Improved rule analysis by means of triggering and activation graphs

BARALIS, ELENA MARIA;
1995

Abstract

In this paper, we propose new methods for the compile-time analysis of the behavior of active rules, based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called triggering and activation graphs respectively. Analysis techniques presented in this paper are focused on the problem of termination; results provide a systematic identification of reactive behaviors which can be guaranteed to terminate and reactive behaviors which may lead to infinite rule processing. Research presented in this paper is supported by Esprit project P6333 IDEA, and by ENEL contract VDS 1/94: Integrity Constraint Management
1995
3540603654
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2500039
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo