ODE (Object Database and Environment): the language and the data model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
A case study in model checking software systems
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
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
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
The Implementation of POSTGRES
IEEE Transactions on Knowledge and Data Engineering
Starburst Mid-Flight: As the Dust Clears
IEEE Transactions on Knowledge and Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th 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
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Promises and Realities of Active Database Systems
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Improving Rule Analysis by Means of Triggering and Activation Graphs
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Abstract Interpretation of Active Rules and its Use in Termination Analysis
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Event-Driven ontology updating
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Modeling and verifying DML triggers using event-B
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part II
| Hi-index | 0.00 |
Many algorithms have been proposed that detect non-termination of active database rules. However, most of these provide a conservative estimate - they detect all potential cases of non-termination. The onus is on the database programmers to further analyze these cases and give more definite results about non-termination. In this paper we show how the database programmer can automatically detect non-termination using an existing symbolic model checker. Our approach does not require much expertise on the part of the database programmer, and can be used to detect termination cases which the conservative approaches reject as non-terminating ones.