Termination Analysis of Active Rules -A Petri Net Based Approach.

Xiaoou Li Lorena Chavarría-Báez

Published in: SMC (2009)

Keyphrases

petri net
termination analysis
active rules
active databases
abstract interpretation
integrity constraints
deductive databases
object oriented databases
business rules
control flow
database
xml data
evaluation model
query language
database systems
information systems
databases