Modeling and Verifying DML Triggers Using Event-B.

Hong Anh Le Ninh-Thuan Truong

Published in: ACIIDS (2) (2013)

Keyphrases

database
neural network
machine learning
modeling method
databases
multimedia
user interface
event detection
active databases
event recognition