Sciweavers

ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
13 years 12 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