The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지

A Termination Analyzer Including Execution Semantics of Active Rules

능동 규칙의 실행의미를 반영한 종료 분석기

  • Sin, Ye-Ho (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Hwang, Jeong-Hui (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Ryu, Geun-Ho
  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

Active database 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.

능동 데이터베이스는 미리 정의된 규칙(rule)에 의해 규칙에 대응하는 사건이 발생하면 자동으로 트리거나 되어 조건을 평가하고 조치를 수행한다. 이러한 능동 규칙은 연속적으로 서로 다른 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 따라서 이 논문에서는 규칙집합의 종료를 보장하는 종료 분석방법을 제안한다. 여기서 제안한 방법은 정확한 종료 분석을 위해 복합사건의 규칙과 규칙 실행시간을 고려한다. 아울러 규칙간에 형성되는 비활성과 관계를 이용하여 그래프를 기존의 트리거그래프와 결합시킴으로서 규칙 종료의 복잡성 개선과 분석 결과의 정확성을 향상시킨다.

Keywords

References

  1. Jeong-Seok Park, Ye Ho Shin, Kwang Woo Nam, Keun Ho Ryu, 'Incremental Condition Evaluation for Active Temporal Rules,' Journal of KISS(B), Vol.26, No.4, pp.462-472, April 1999
  2. C. Zaniold, S. Ceri, C. Faloutsos, R. T. Snodgrass, V. S. Subrahmanian, R. Zicari. 'Design Principles for Active Rules,' Chapter 4, Advanced Database Systems, Morgan Kaufman Pub, 1997
  3. E. Baralis, S. Ceri, S. Paraboschi; 'Run-Time Detection of Non-Terminating Active Rule System,' Proc. of the 4th Intl. Conf. on Deductive and Object-Oriented Databases, DOOD'95, Singapore, December 95
  4. E. Baralis, S. Ceri, S. Paraboschi, 'Improved Rule Analysis by Means of Triggering and Activation Graphs,' Proc. of 2nd intl. Workshop on Rules in Database Systems, RIDS '95, Athens, Greece, September 95
  5. A. Vaduva, S. Gatziu, Klaus R. Dittrich, 'Investigating Termination in Active Database Systems with Expressive Rule Languages,' RIDS, pp.149-164, 1997
  6. Mattos, Nelson M. ; An Overview of the SQL3 Standard, Database Technology Institute IBM - Santa Teresa Lab., Jul. 1996
  7. ANSI/ISO/IEC International Standard (IS), Database Language SQL-Part 2 : Foundation (SQL/Foundation), ISO/IEC 9075-2 : 1999 (E), September, 1999
  8. J. Bailey, L. Crnogorac, K. Ramamohanarao, H. Sondergaard. 'Abstract Inter-pretation of Active Rules and Its Use in Termination Analysis,' ICDT'97, Lecture Notes in Computer Science, 99. pp.199-202, 1997 https://doi.org/10.1007/3-540-62222-5_45
  9. S. Ceri, J. Widom. 'Application of Active Databases,' Active Database Systems-Triggers and Rules for Advanced Databases Processing, 1996
  10. S. Ceri and J. Widom, 'Deriving Production Rules for Constraint Maintenance,' In Dennis McLeod, Ron SacksDavid, and Hans Schek, editors, Proc. Sixteenth Int'l Conf. on Very Large Data Bases, pp.566-577,Brisbane, Australia, August, 1990
  11. E. Baralis. 'Rule Analysis,' Chapter 3, Active Rules in Database Systems, Springer-Verlag Pub, 1999
  12. D. Montesi, M, Bagnato,C. Dallera. 'Termination Analysis in Active Database,' Database Engineering and Applications, 1999.IDEAS '99 International Symposium Proceedings, pp.288-297 1999
  13. A. Aiken, J. M. Hellerstein, 'Behavior of database production rules : Termination, Confluence, and Observable determinism,' In Proceeding of the ACM SIGMOD conf. 59-68, San Diego, California, June, 1992 https://doi.org/10.1145/130283.130296
  14. A. Aiken, J. M. Hellerstein, J. Widom, 'Static Analysis Techniques for Predicting the Behavior of Active Database Rules,' ACM Transaction on Database System, Vol.20, No.1, pp.3-41, March, 1995 https://doi.org/10.1145/202106.202107
  15. S. Yeung, T. Wang LING 'Unrolling Cycle to Decide Trigger Termination,' Proc 25th VLDB Conf. pp.483-493, Edinburgh, 1999
  16. E. Baralis and J. Widom, 'An Algebric approach to rule analysis in expert Database Systems,' Proc 20th VLDB Con, Santiago, Chile, September, 1994