Sciweavers

ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
13 years 9 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray