Beta
111412

STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS

Article

Last updated: 26 Dec 2024

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

First Name

Hany

Last Name

Harb

MiddleName

-

Affiliation

Faculty of Engineering, El-Azhar University, Egypt

Email

-

City

-

Orcid

-

First Name

Hamdy

Last Name

Kelash

MiddleName

-

Affiliation

Faculty of Electronic Engineering, Menouf, 32952, Egypt

Email

-

City

-

Orcid

-

First Name

Ahmed

Last Name

Shehata

MiddleName

-

Affiliation

Faculty of Electronic Engineering, Menouf, 32952, Egypt

Email

am_shehata@yahoo.com

City

-

Orcid

-

Volume

35

Article Issue

No 1

Related Issue

16621

Issue Date

2007-01-01

Receive Date

2006-10-12

Publish Date

2007-01-01

Page Start

163

Page End

176

Print ISSN

1687-0530

Online ISSN

2356-8550

Link

https://jesaun.journals.ekb.eg/article_111412.html

Detail API

https://jesaun.journals.ekb.eg/service?article_code=111412

Order

10

Type

Research Paper

Type Code

1,438

Publication Type

Journal

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

Details

Type

Article

Created At

23 Jan 2023