Symbolic Termination and Confluence Checking for ECA Rules.

Xiaoqing Jin Yousra Lembachar Gianfranco Ciardo

Published in: Trans. Petri Nets Other Model. Concurr. (2014)

Keyphrases

eca rules
rewrite systems
active rules
active database systems
active databases
integrity constraints
event condition action
term rewriting
deductive databases
object oriented databases
business rules
theorem prover
database
formal semantics
information systems
description language
control flow
description logics