Investigating Termination in Active Database Systems with ExpressiveRule Languages

Authors:
Anca Vaduva;Stella Gatziu;Klaus R. Dittrich
Affiliations:
-;-;-
Venue:
Investigating Termination in Active Database Systems with ExpressiveRule Languages
Year:
1997

Citing 0
Cited 2

Termination Analysis in Active Databases

IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A fuzzy Petri net model for intelligent databases

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The powerful functionality that active mechanisms add to database management systems presents, besides many advantages, a number of problems related to the control of their behavior. This paper deals with one of these problems: the termination of rule execution. We explain the termination aspect and the aim of termination analysis. Then, we present our approach for investigating the termination of rule execution. In contrast to others, this approach also addresses expressive rule languages as they have been proposed for various recent active database management system prototypes.