Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Deriving incremental production rules for deductive data
Information Systems
Oracle's symmetric replication technology and implications for application design
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Termination analysis of OPS5 expert systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Implementing data cubes efficiently
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Managing conflicts between rules (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computer networks (3rd ed.)
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Design of Active Rule Applications: Issues and Approaches
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Run-time Detection of Non-Terminating Active Rule Systems
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
A Rewriting Technique for the Analysis and the Optimization of Active Databases
ICDT '95 Proceedings of the 5th International Conference on Database Theory
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Managing Semantic Heterogeneity with Production Rules and Persistent Queues
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th 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
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
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
Improving Rule Analysis by Means of Triggering and Activation Graphs
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Declarative Specification of Constraint Maintenance
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Pushing reactive services to XML repositories using active rules
Proceedings of the 10th international conference on World Wide Web
Learning and decision-making in the framework of fuzzy lattices
New learning paradigms in soft computing
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software 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 Middleware Implementation of Active Rules for ODBMS
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint-Based Termination Analysis for Cyclic 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
Active rules for XML: A new paradigm for E-services
The VLDB Journal — The International Journal on Very Large Data Bases
Active rules and active databases: concepts and applications
Effective databases for text & document management
On the decidability of the termination problem of active database systems
Theoretical Computer Science
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Event-condition-action rules on RDF metadata in P2P environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Event trace independence of active behavior
Information Processing Letters
Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation
International Journal of Approximate Reasoning
Event-triggered data and knowledge sharing among collaborating government organizations
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Method of using BDI agents to implement service-oriented workflow mapping in AGWMS
International Journal of Parallel, Emergent and Distributed Systems - Best Papers from the GCC 2006 Conference
Event-processing network model and implementation
IBM Systems Journal
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Event Trace Independence of active behavior
Information Processing Letters
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
Performance modelling of Event-Condition-Action rules in P2P networks
Journal of Computer and System Sciences
Managing runtime adaptivity through active rules: the Bellerofonte framework
Journal of Web Engineering
Distribution data security system based on web based active database
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Power distribution automation system using information technology based web active database
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Distribution data security system based on web based active database
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Hi-index | 0.00 |
Active rules may interact in complex and sometimes unpredictable ways, thus possibly yielding infinite rule executions by triggering each other indefinitely. This paper presents analysis techniques focused on detecting termination of rule execution. We describe an approach which combines static analysis of a rule set at compile-time and detection of endless loops during rule processing at runtime. The compile-time analysis technique is based on the distinction between mutual triggering and mutual activation of rules. This distinction motivates the introduction of two graphs defining rule interaction, called Triggering and Activation Graphs, respectively. This analysis technique allows us to identify reactive behaviors which are guaranteed to terminate and reactive behaviors which may lead to infinite rule processing. When termination cannot be guaranteed at compile-time, it is crucial to detect infinite rule executions at runtime. We propose a technique for identifying loops which is based on recognizing that a given situation has already occurred in the past and, therefore, will occur an infinite number of times in the future. This technique is potentially very expensive, therefore, we explain how it can be implemented in practice with limited computational effort. A particular use of this technique allows us to develop cycle monitors, which check that critical rule sequences, detected at compile time, do not repeat forever. We bridge compile-time analysis to runtime monitoring by showing techniques, based on the result of rule analysis, for the identification of rule sets that can be independently monitored and for the optimal selection of cycle monitors.