Journal of Intelligent Information Systems
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Database research at Arizona State University
ACM SIGMOD Record
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
Analysis and optimization of active databases
Data & Knowledge Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
Unrolling Cycles to Decide Trigger Termination
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Analysis of Active Database Rules Behavior Using Rewriting Logic
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Verify Updating Trigger Correctness
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Improving Termination Analysis of Active Rules with Composite Events
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Refined rules termination analysis through transactions
Information Systems
Active rules and active databases: concepts and applications
Effective databases for text & document management
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Active rules termination analysis through conditional formula containing updatable variable
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
| Hi-index | 0.00 |
We present the notion of refined triggering graphs (RTG) for analyzing termination of active rules in object-oriented databases (OODBs). The RTG method consists of mapping the possibility that one active rule can trigger another to the satisfiability of a well-defined logic formula called a triggering formula. The unsatisfiability of the triggering formula is then an indication that the rule triggering possibility is nil. We identify three increasingly more powerful types of triggering formulae and give pointers to the corresponding satisfiability procedures.