Subjects
-Tags
Electrical Engineering, Computer Engineering and Electrical power and machines engineering.
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
DOI
10.21608/jesaun.2007.111412
Keywords
Active database, Static tools, transactions, evolution graphs, triggers, nontermination analysis
Authors
MiddleName
-Affiliation
Faculty of Engineering, El-Azhar University, Egypt
Email
-City
-Orcid
-MiddleName
-Affiliation
Faculty of Electronic Engineering, Menouf, 32952, Egypt
Email
-City
-Orcid
-MiddleName
-Affiliation
Faculty of Electronic Engineering, Menouf, 32952, Egypt
Email
am_shehata@yahoo.com
City
-Orcid
-Link
https://jesaun.journals.ekb.eg/article_111412.html
Detail API
https://jesaun.journals.ekb.eg/service?article_code=111412
Publication Title
JES. Journal of Engineering Sciences
Publication Link
https://jesaun.journals.ekb.eg/
MainTitle
STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS