Formal Analysis of Database Trigger Systems Using Event-B
Most modern relational database systems use triggers to implement automatic tasks in
response to specific events happening inside or outside a system. A database trigger is a …
response to specific events happening inside or outside a system. A database trigger is a …
[PDF][PDF] A new algorithm to detect the non-termination of triggers in active databases
RM Chezian, T Devi - International Journal of Advanced Networking and …, 2011 - Citeseer
------------------------------------------------------------------ABSTRACT--------------------------------------------
------------------------Active Databases are a combination of traditional static databases and …
------------------------Active Databases are a combination of traditional static databases and …
Modeling and verifying DML triggers using Event-B
Database trigger is a block code that automatically executes in response to changes of table
or view in the database system. The correctness of a trigger usually can be verified when it is …
or view in the database system. The correctness of a trigger usually can be verified when it is …
Design and development of algorithms for identifying termination of triggers in active databases
RM Chezian, T Devi - International Journal of Information …, 2011 - inderscienceonline.com
An active database system is a conventional database system extended with a facility for
managing triggers (or active rules). Active database systems can react to the occurrence of …
managing triggers (or active rules). Active database systems can react to the occurrence of …
Trigger2B: A Tool Generating Event-B Models from Database Triggers
HA Le - Context-Aware Systems and Applications, and Nature …, 2021 - Springer
Triggers are commonly used many traditional database applications that can be checked if
they are correct after execution or manual inspection. Formal methods are techniques …
they are correct after execution or manual inspection. Formal methods are techniques …