Rules are objects too: A knowledge model for an active, object-oriented databasesystem
Lecture notes in computer science on Advances in object-oriented database systems
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Feature-constraint logics for unification grammars
Journal of Logic Programming
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
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
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
A Path Removing Technique for Detecting Trigger Termination
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Unrolling Cycles to Decide Trigger Termination
VLDB '99 Proceedings of the 25th 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
Improving Rule Analysis by Means of Triggering and Activation Graphs
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Using the Properties of Datalog to Prove Termination and Confluence in Active Databases
RIDS '97 Proceedings of the Third 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
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
Refined Termination Decision in Active Databases
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Declarative Semantics for Active Rules
DEXA '98 Proceedings of the 9th 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
Abstract Interpretation of Active Rules and its Use in Termination Analysis
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Processing conjunctive predicates and queries
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Hi-index | 0.00 |
This article extends the Refined Triggering Graph Method for active rules termination analysis. The Refined Triggering Graph Method has been proposed to analyse active rules sets termination, in the context of object oriented databases. The RTG method exploits the notion of triggering formula. A triggering formula is a logic formula binding two rules. This logic formula captures the triggering link between a rule postcondition and a rule precondition. But only DB-independent atoms contained in rules postprecondition can be taken into account by the RTG analysis. We improve the RTG Method, taking into account the DB-dependent atoms contained in rules prepostconditions. To achieve this, we introduce the notion of descendant of a triggering formula and the notion of complex condition of a rule. The descendant of a triggering formula captures the transformations of an object, which satisfies the triggering formula, due to the rules actions. The complex condition of a rule captures the triggering link between a rule R and the rules which can trigger R. Many more termination situations can be detected, thanks to our improvement.