A Petri Net-Based Metric for Active Rule Validation.

Lorena Chavarría-Báez Xiaoou Li

Published in: ICTAI (2011)

Keyphrases

active rules
termination analysis
execution model
active databases
active database systems
deductive databases
integrity constraints
object oriented databases
metric space
business rules
business processes
spatial objects
application programs