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

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

A Study on Termination Analysis for Rule Compiler

규칙 컴파일러를 위한 종료 분석 연구

  • Gang, Byeong-Geuk (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Hwang, Jeong-Hui (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Sin, Ye-Ho (Dept. of Computer Science, Graduate School of Chungbuk National University) ;
  • Ryu, Geun-Ho
  • 강병극 (충북대학교 대학원 전자계산학과) ;
  • 황정희 (충북대학교 대학원 전자계산학과) ;
  • 신예호 (충북대학교 대학원 전자계산학과) ;
  • 류근호
  • Published : 2001.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

In the active databases, whenever an event occurs, active rules with the matching event specifications are triggered automatically, its action will be executed. Because these rules may in turn trigger other rules including themselves, the set of rules may be executing each other indefinitely. These problem can be solved by rule termination analysis, and it is efficient for the rule termination to execute in compile time of rule. In this paper we not only design rule compiler with rule termination analyzer, but also propose its execution model and algorithm. The completeness of proposed model is verified by algorithm formalization of rule termination analysis.

능동 데이터베이스에서의 규칙(rule)은 트리거하는 사건이 감지되면 자동으로 규칙을 트리거하여 데이터베이스의 상태변화에 대응하는 조치를 자동으로 수행한다. 이러한 능동 규칙은 자신을 포함한 서로 다른 규칙을 트리거 할 수 있으므로 종료하지 못하고 연속적으로 실행될 가능성이 있다. 이와 같은 문제는 규칙의 종료 분석을 통해 차단할 수 있으며 규칙의 종료 분석은 규칙의 컴파일 시간에 수행하는 것이 가장 효과적이다. 따라서 이 논문에서는 규칙 종료분석기를 내장한 규칙 컴파일러를 설계하고 그 수행 모델 및 알고리즘을 제안한다. 아울러 제안 모델의 핵심이라 할 수 있는 규칙 종료 분석 알고리즘의 정형화를 통해 제안 모델의 완전성을 검증한다.

Keywords

References

  1. Jeong-Scok Park, Ye Ho Shin, Kwang Woo Nam, Keun Ho Ryu, 'Incremental Condition Evaluation for Active Temporal Rules,' Jurnal of KISS(B), Vol.26, No.4, April, pp.462-472, 1999
  2. C. Zaniold, S. Ceri, C. Faloutsos, R. T. Snodgrass, V. S. Subrahmanian, R. Zicari, 'Design Principles for Active Rules,' Chapter 4, Advacnced Database Systems, Morgan Kaufman Pub, 1997
  3. A. Vaduva, S. Gatziu, Klaus R. Dittrich, 'Investigating Termination in Active Database Systems with Expressive Rule Languages,' RIDS, pp.149-164, 1997
  4. Baralis E., Ceri S., Paraboschi S ; '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, 1995
  5. Baralis E., Ceri S., Paraboschi S ; '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, 1995
  6. S. Ceri, J. Widom. 'Application of Active Databases,' Active Database Systems-Triggers and Rules for Advanced Databases Processing, Morgan Kaufmann pub, 1996
  7. Mattos, Nelson M., An Overview of the SQL3 Standard, Database Technology Institute IBM-Santa Teresa Lab., Jul. 1996
  8. ANSVISO/lEC International Standard (IS), Database Language SQL-Part 2 : Foundation (SQL/Foundation), ISO/IEC 9075-2 : 1999 (E), September, 1999
  9. Ye Ho Shin, Jeong Hee Hwang, Keun Ho Ryu, 'Termination Analyzer including Rule Execution Semantics,' 정보처리학회논문지D, 제8-D권 제5호, pp.513-522
  10. S. Yeung, T. Wang LING 'Unrolling Cycle to Decide Trigger Termination,' Proc 25th VLDB Conf. Edinburgh, pp.483-493, 1999
  11. 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 https://doi.org/10.1109/IDEAS.1999.787279
  12. E. Baralis, S. Ceri and S. Paraboschi, 'Modularization Techniques for Active Rules Design,' ACM Trasaction on Database Systems, pp.1-29, March, 1996 https://doi.org/10.1145/227604.227605
  13. K. Baralis and J. Widom, 'An Algebric approach to rule analysis in expert Database Systems,' Proc 20th VLDB Con, Santiago, Chile, September, 1994
  14. Sc Man O, 'Introduction of Compiler,' Jungiksa pub, 1994
  15. J. Bailey, L. Crnogorac, K. Ramamohanarao, H. Sondergaard. 'Abstract Inter - pretation of Active Rules and Its Use in Termination Analysis,' ICD'97, Leeture Notes in Computer Science, 99. pp.199-202, 1997
  16. A. Aiken, J. M. Hellerstein, 'Behavior of database production rules : Termination, Confluence, and Observable determinism,' In Proceeding of the ACM SIGMOD conf. pp.59-68, San Diego, California, June, 1992
  17. 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
  18. 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
  19. E. Baralis. 'Rule Analysis,' Chapter 3, Active Rules in Database Systems, Springer-Verlag pub, 1999