Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
SQL:1999: understanding relational language components
SQL:1999: understanding relational language components
Active Rules in Database Systems
Active Rules in Database Systems
The Design and Implementation of the Ariel Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
TriGS Debugger - A Tool for Debugging Active Database Behavior
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
ACM SIGMOD Record
Hi-index | 0.00 |
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.