Download:
|
by Detlef Zimmer, Axel Meckenstock, Rainer Unland, Grevener Str
Cadlab Report 2, Cadlab, Bahnhofstr
http://www.cs.uni-essen.de/dawis/publications/papers/fb95-02.ps
Add To MetaCart
Abstract:
Rule processing can be subject to infinite loops- that is, rules may trigger one another indefinitely. In database systems, this behaviour can be catastrophic; e.g., looping rules would certainly inhibit concurrency and saturate memory thus slowing down system throughput. In general it is undecidable to determine in advance if rules are guaranteed to terminate. If analysis algorithms are applied they work on a very rough level, i.e. although their conditions are sufficient they are usually far away from being necessary. Existing rule analysis algorithms are designed for special rule models and only consider parts of the semantics of rules (e.g., do not consider priorities of rules). Therefore they are either too inaccurate and/or can only be used in a special environment (they are based on a feature of the underlying rule model, not/seldomly being used in other rule models). In this paper we present a static rule termination analysis based on the rule meta model Vampire. Vampire uses Petri nets as a formal method for a precise and exhausting specification of many of the different elementary semantic aspects of rule models. Our rule termination anal-
Citations
|
555
|
Petri Net Theory and the Modeling of Systems
– Peterson
- 1981
|
|
210
|
Understanding the New SQL: A Complete Guide
– Melton, Simon
- 1992
|
|
142
|
Snoop: An Expressive Event Specification Language for Active Databases
– Chakravarthy, Mishra
- 1994
|
|
87
|
Rule condition testing and action execution in Ariel
– Hanson
- 1992
|
|
70
|
Active database systems
– Dayal, Hanson, et al.
- 1995
|
|
51
|
An overview of production rules in database systems
– Hanson, Widom
- 1993
|
|
48
|
An algebraic approach to rule analysis in expert database systems
– Baralis, Widom
- 1994
|
|
43
|
Building an integrated active OODBMS: Requirements, architecture, and design decisions
– BUCHMANN, ZIMMERMANN, et al.
- 1995
|
|
32
|
Active Object Systems
– Buchmann
- 1994
|
|
26
|
Behaviour of database production rules: Termination, confluence, and observable determinism
– AIKEN, WIDOM, et al.
- 1992
|
|
25
|
Termination Analysis for Active Databases
– Baralis, Ceri, et al.
- 1993
|
|
25
|
EXACT: An Extensible Approach to Active Object-Oriented Databases
– Diaz, Jaime
- 1997
|
|
17
|
Conditional Term Rewriting as a Formal Basis for Analysis of Active Database Rules
– Karadimce, Urban
- 1994
|
|
6
|
A Comparative Evaluation of Active Relational Databases
– Chakravarthy
- 1993
|
|
4
|
State-of-the-art report on reactive processing in databases and artificial intelligence
– Bayer
- 1993
|
|
4
|
der Voort and A. Siebes. Enforcing Confluence of Rule Execution
– van
- 1994
|
|
3
|
der Voort and A. Siebes. Termination and Confluence of Rule Execution
– van
- 1994
|
|
1
|
The Architecture Of An Active Base Management System
– McCarthy, Dayal
- 1989
|
|
1
|
Rule Termination Analysis based on a Rule Meta Model. Master 's thesis
– Wulff
- 1995
|
