Login / Signup
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