Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Visualization of rule behaviour in active database
Proceedings of the third IFIP WG2.6 working conference on Visual database systems 3 (VDB-3)
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
3D visualization of rule processing in active databases
NPIV '97 Proceedings of the 1997 workshop on New paradigms in information visualization and manipulation
The TriGS active object-oriented database system— an overview
ACM SIGMOD Record
ACM Computing Surveys (CSUR)
A tour on the TriGS active database system — architectue and implementation
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
A Graphical Editor for the Conceptual Design of Business Rules
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Debugging parallel programs using ATEMPT
HPCN Europe '95 Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking
Unrolling Cycles to Decide Trigger Termination
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
A Visualization and Explanation Tool for Debugging ECA Rules in Active Databases
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Investigating Termination in Active Database Systems with Expressive Rule Languages
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
OLAF: The GOAD Active Database Event/Rule Tracer
DEXA '96 Proceedings of the 7th International Conference on Database and Expert Systems Applications
Visualization of the Composite Event Detection Process
UIDIS '99 Proceedings of the 1999 User Interfaces to Data Intensive Systems
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Using UML's sequence diagrams for representing execution models associated to triggers
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
| Hi-index | 0.00 |
Active database systems represent a powerful means to respond automatically to events that are taking place inside or outside the database. However, one of the main stumbling blocks for their widespread use is the lack of proper tools for the verification of active database behavior. This paper copes with this need by presenting TriGS Debugger, a tool which supports mechanisms for predicting, understanding and manipulating active database behavior. First, TriGS Debugger provides an integrated view of both active and passive behavior by visualizing their interdependencies, thus facilitating preexecution analysis. Second, post-execution analysis is supported by tracing and graphically representing active behavior including composite events and rules which are executed in parallel. Third, TriGS Debugger allows to interactively examine and manipulate the active behavior at run-time.