Journal of Intelligent Information Systems
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
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
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
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
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 |