Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

CAISE
2003
Springer

favoriteEmaildiscussreport

102views Information Technology» more CAISE 2003»

Improving Termination Analysis of Active Rules with Priorities

13 years 9 months ago

Improving Termination Analysis of Active Rules with Priorities

Download sunsite.informatik.rwth-aachen.de

This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have suggested proving termination by using the concept of triggering graph. We propose here a refinement of these works, exploiting the priorities defined between rules.

Alain Couchot

Real-time Traffic

Active Rules Termination | CAISE 2003 | Termination Static Analysis | Undecidable Problem |

claim paper

Related Content

» Termination Analysis of Active Rules with Priorities

» An Algebraic Approach to Rule Analysis in Expert Database Systems

» A concurrent rule scheduling algorithm for active rules

» On Active Deductive Databases The Statelog Approach

» A Simple Model for Active Rules and their Behavior in Deductive Databases

» Cooperative Cognitive Radio with Priority Queueing Analysis

» Termination Criteria for Model Transformation

» Active Database Rules with TransactionConscious StableModel Semantics

» Responsetime analysis of arbitrarily activated tasks in multiprocessor systems with shared...

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CAISE
Authors	Alain Couchot

Comments (0)