Aljumaily, HarithPablo-Sánchez, César deCuadra Fernández, María DoloresMartínez Fernández, Paloma2010-05-102010-05-102006-09Flexible and Efficient Information Handling. Lecture Notes in Computer Science 4042/2006, p. 36-460302-9743 (Print)1611-3349 (Online)https://hdl.handle.net/10016/823811 pages, 3 figures.-- Contributed to: 23rd British National Conference on Databases (BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006).Using active rules or triggers to verify integrity constraints is a serious and complex problem because these mechanisms have behaviour that could be difficult to predict in a complex database. The situation is even worse as there are few tools available for developing and verifying them. We believe that automatic support for trigger development and verification would help database developers to adopt triggers in the database design process. Therefore, in this work we suggest a visualization add-in tool that represents and verifies triggers execution by using UML’s sequence diagrams. This tool is added in RATIONAL ROSE and it simulates the execution sequence of a set of triggers when a DML operation is produced. This tool uses the SQL standard to express the triggers semantics and execution.application/pdfeng© Springerconference paperInformática10.1007/11788911_3open access3646Flexible and Efficient Information Handling4042