Home Articles List Article Information
JES. Journal of Engineering Sciences
Journal Archive
Volume Volume 53 (2025)
Volume Volume 52 (2024)
Volume Volume 51 (2023)
Volume Volume 50 (2022)
Volume Volume 49 (2021)
Volume Volume 48 (2020)
Volume Volume 47 (2019)
Volume Volume 46 (2018)
Volume Volume 45 (2017)
Volume Volume 44 (2016)
Volume Volume 43 (2015)
Volume Volume 42 (2014)
Volume Volume 41 (2013)
Volume Volume 40 (2012)
Volume Volume 39 (2011)
Volume Volume 38 (2010)
Volume Volume 37 (2009)
Volume Volume 36 (2008)
Volume Volume 35 (2007)
Volume Volume 34 (2006)
Harb, H., Kelash, H., Shehata, A. (2007). STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS. JES. Journal of Engineering Sciences, 35(No 1), 163-176. doi: 10.21608/jesaun.2007.111412
Hany Harb; Hamdy Kelash; Ahmed Shehata. "STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS". JES. Journal of Engineering Sciences, 35, No 1, 2007, 163-176. doi: 10.21608/jesaun.2007.111412
Harb, H., Kelash, H., Shehata, A. (2007). 'STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS', JES. Journal of Engineering Sciences, 35(No 1), pp. 163-176. doi: 10.21608/jesaun.2007.111412
Harb, H., Kelash, H., Shehata, A. STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS. JES. Journal of Engineering Sciences, 2007; 35(No 1): 163-176. doi: 10.21608/jesaun.2007.111412

STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS

Article 10, Volume 35, No 1, January and February 2007, Page 163-176  XML PDF (374.73 K)
Document Type: Research Paper
DOI: 10.21608/jesaun.2007.111412
View on SCiNiTO 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
Main Subjects
Electrical Engineering, Computer Engineering and Electrical power and machines engineering.
Statistics
Article View: 114
PDF Download: 308