Improving Termination Analysis of Active Rules with Composite Events.

Published in: DEXA (2001)

Keyphrases

active rules
composite events
termination analysis
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
business rules
control flow
xml documents
query evaluation
evaluation model