Improving Termination Analysis of Active Rules with Priorities.

Published in: CAiSE Short Paper Proceedings (2003)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
description language
control flow
databases
data model
data management
test cases
database technology
temporal databases
composite events