Trigger2B: A Tool Generating Event-B Models from Database Triggers.

Published in: ICCASA/ICTCC (2020)

Keyphrases

database
databases
data sets
experimental data
complex systems
relational databases
database applications
model selection
query language
database systems
case study
probabilistic model
knowledge base
information systems
social networks
data mining
software tools
active databases