Termination Analysis of Active Rules with Priorities.

Published in: DEXA (2003)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
composite events
object oriented databases
deductive databases
control flow
business rules
spatial objects
database
multi dimensional