Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable.

Zhongmin Xiong Wei Wang Jian Pei

Published in: APWeb/WAIM (2007)

Keyphrases

active rules
termination analysis
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
composite events
database
control flow
evaluation model
web services
mobile devices
business rules