Symbolic verification of ECA rules.

Xiaoqing Jin Yousra Lembachar Gianfranco Ciardo

Published in: PNSE+ModPE (2013)

Keyphrases

eca rules
active database systems
active databases
event condition action
model checking
formal semantics
exception handling
active rules
knowledge base
integrity constraints
business rules