Formal Analysis of Database Trigger Systems Using Event-B.

Hong Anh Le Van-Khanh To Ninh-Thuan Truong

Published in: Int. J. Softw. Innov. (2021)

Keyphrases

formal analysis
database
formal methods
databases
distributed systems
intelligent systems
database systems
relational databases
query language
management system
information systems
data model
complex systems
event detection
news stories