Termination Analysis of Active Rules Modular Sets.

Published in: CIKM (2001)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
business rules
composite events
spatial objects
knowledge representation
object oriented
logic programs
cost model
control flow