A Termination Analyzer Including Execution Semantics of Active Rules 


Vol. 8,  No. 5, pp. 513-522, Oct.  2001
10.3745/KIPSTD.2001.8.5.513


PDF
  Abstract

Active databases execute an action of active rule defined in advance which is triggered automatically, whenever an event with the matching event specifications occurs, its condition is evaluated. Because these rules may in turn trigger other rules, the set of rules may be triggered each other indefinitely. Therefore, we propose a termination analysis method to guarantee termination. This proposed method considers composite event as well as rule execution time. Above all, the method not only uses deactivation graph combined to trigger graph for exact analysis, but also improves the complexity of analysis. Also the proposed method enhances accuracy of analysis result.

  Statistics
  Cite this article

[IEEE Style]

Y. H. Shin, J. H. Hwang, K. H. Ryu, "A Termination Analyzer Including Execution Semantics of Active Rules," The KIPS Transactions:PartD, vol. 8, no. 5, pp. 513-522, 2001. DOI: 10.3745/KIPSTD.2001.8.5.513.

[ACM Style]

Ye Ho Shin, Jeong Hee Hwang, and Keun Ho Ryu. 2001. A Termination Analyzer Including Execution Semantics of Active Rules. The KIPS Transactions:PartD, 8, 5, (2001), 513-522. DOI: 10.3745/KIPSTD.2001.8.5.513.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals