STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS | ||||
| JES. Journal of Engineering Sciences | ||||
| Article 10, Volume 35, No 1, January and February 2007, Page 163-176 PDF (374.73 K) | ||||
| Document Type: Research Paper | ||||
| DOI: 10.21608/jesaun.2007.111412 | ||||
 View on SCiNiTO | ||||
| Authors | ||||
| Hany Harb* 1; Hamdy Kelash2; Ahmed Shehata2 | ||||
| 1Faculty of Engineering, El-Azhar University, Egypt | ||||
| 2Faculty of Electronic Engineering, Menouf, 32952, Egypt | ||||
| Abstract | ||||
| A new algorithm for static rule termination analysis within active databases is introduced. This algorithm uses evolution graphs which simulating rule processing statically and considering both rule activation and deactivation. This algorithm has been refined for some cases that cannot be assured of termination this refinement by using Refined Evolution Graphs and analyzing transactions and triggers. A Static Tool Environment is proposed that can be used in termination analysis algorithm. The Static tool proposed is suitable for this algorithm where its component can execute the proposed algorithm. We show that several termination analysis algorithms are captured with our algorithm. The proposed algorithm tests rule termination is presented considering deferred and detached executions. The proposed algorithm turns out to be practical and general with respect to various rules languages and thus it may be applied to many databases | ||||
| Keywords | ||||
| Active database; Static tools; transactions; evolution graphs; triggers; nontermination analysis | ||||
|
Statistics Article View: 76 PDF Download: 224 |
||||
