Event Trace Independence of active behavior

Authors:
Angela Bonifati;Stefano Ceri;Stefano Paraboschi
Affiliations:
Icar CNR, Via P. Bucci 41C, I-87036 Rende, Italy;DEI, Politecnico di Milano, P.za L. da Vinci 32, I-20133 Milano, Italy;DIGI, Università di Bergamo, Viale Marconi 5, I-24044 Dalmine, Italy
Venue:
Information Processing Letters
Year:
2005

Citing 5
Cited 0

Termination and confluence of rule execution

CIKM '93 Proceedings of the second international conference on Information and knowledge management
Static analysis techniques for predicting the behavior of active database rules

ACM Transactions on Database Systems (TODS)
An algebraic approach to static analysis of active database rules

ACM Transactions on Database Systems (TODS)
Compile-Time and Runtime Analysis of Active Behaviors

IEEE Transactions on Knowledge and Data Engineering
Detecting Changes in XML Documents

ICDE '02 Proceedings of the 18th International Conference on Data Engineering

Quantified Score

Hi-index	0.89

Visualization

Abstract

We present the Event Trace Independence (ETI), a novel property of active rules exhibiting a behavior independent of the specific event sequence that had caused a state transition. When employed in a distributed setting, this property supersedes the classical property of confluence, which is not sufficient herein. We show that ETI is in general undecidable and provide a sufficient condition, called invertibility, which offers a practical way to demonstrate ETI.