한국정보과학회논문지:데이타베이스 (Journal of KIISE:Databases)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

트리거 처리 4 단계 일관성 레벨

Four Consistency Levels in Trigger Processing

  • 박종범 (공군사관학교 전산통계학과) ;
  • 발행 : 2002.12.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

비동기 트리거 처리기(ATP)는 데이타베이스 트랜잭션의 수행이 완료된 후에 트리거를 처리하는 소프트웨어 시스템이다. ATP 내에서는 트리거 조건의 효율적인 검사를 위하여 차별화 네트워크(discrimination network)가 사용된다. 차별화 네트워크는 내부 상태를 메모리 노드에 저장한다. TrigerMan은 하나의 ATP로써 차별화 네트워크로써 Gator 네트워크를 사용한다. 데이타베이스의 내용 변화는 트리거맨에 토큰 형태로 전달된다. 트리거 조건의 검사는 토큰이 Gator 네트워크를 통과하면서 이루어지는데, 이때 Gator 네트워크의 메모리 노드들이 갱신된다. 토큰의 병렬처리는 시스템의 성능을 향상시키는 여러 방법 중 하나이지만 통제되지 않은 병렬처리는 잘못된 트리거 액션 수행을 유발한다. 이 논문은, 최소한의 이상 현상만을 허용하며 토큰의 병렬 처리를 가능하게 하는, 네 가지 트리거 처리 일관성 레벨을 제안한다. 우리는 각 일관성 레벨에 대하여 병렬 토큰 처리를 가능하게 하는 고유한 기술을 개발하였다. 제안된 기술은 안정된 방법이라는 사실이 공리를 통하여 증명되었으며, 이 기술은 실체화 된 (materialized) 뷰 유지 (view maintenance)에 사용될 수 있다.

An asynchronous trigger processor (ATP) is a oftware system that processes triggers after update transactions to databases are complete. In an ATP, discrimination networks are used to check the trigger conditions efficiently. Discrimination networks store their internal states in memory nodes. TriggerMan is an ATP and uses Gator network as the .discrimination network. The changes in databases are delivered to TriggerMan in the form of tokens. Processing tokens against a Gator network updates the memory nodes of the network and checks the condition of a trigger for which the network is built. Parallel token processing is one of the methods that can improve the system performance. However, uncontrolled parallel processing breaks trigger processing semantic consistency. In this paper, we propose four trigger processing consistency levels that allow parallel token processing with minimal anomalies. For each consistency level, a parallel token processing technique is developed. The techniques are proven to be valid and are also applicable to materialized view maintenance.

키워드

참고문헌

  1. Dayal, U., Hanson, E. and Widom, J, Active database systems. In W. Kim (Eds.), Modern database systems: the object model, interoperability, and beyond, pp. 434-456, ACM Press, New York, NY, Addison-Wesley, Reading, MA, 1995
  2. Stonebraker, M., Rowe, L. and Hirohama, M., 'The implementation of POSTGRESS,' IEEE Transactions on Knowledge and Data Engineering, Vol.2, No.7, pp. 125-142, 1990 https://doi.org/10.1109/69.50912
  3. Widom, J. 'Starburst active database rule system,' IEEE Transactions on Knowledge and Data Engineering, Vol.8, No.4, pp. 583-595, 1996 https://doi.org/10.1109/69.536251
  4. Widom, J. and Ceri, S, Introduction to active database systems. In J. Widom & S. Ceri (Eds,), Triggers and Rules for advanced database processing, Morgan Kaufmann, San Francisco, CA, 1996
  5. Bodagala, S., Optimization of Condition Testing for Multi-Join Triggers in Active Databases, Ph.D. dissertation, CISE dept., Univ. of Florida, 1998
  6. Hanson, E. N., Carnes, C., Huang, L., Konyala, M., Noronha, L., Parthasarathy, S., Park, J. and Vernon, A., 'Scalable Trigger Processing,' Proceedings of the 15th International Conference on Data Engineering, pp. 266-275, Sydney, Australia, 1999 https://doi.org/10.1109/ICDE.1999.754942
  7. Acharya, A and Tambe, M., 'Collection-oriented match: Scaling up the data in production systems,' (Tech. Report No. CMU-CS-92-218). School of Computer Science, Carnegie Mellon University, 1992
  8. Butler, P. L., Allen, J. D. and Bouldin, D. W., 'Parallel architecture for OPS5,' Proceedings of the 15th International Symposium on Computer Architecture, pp. 452-457, 1988 https://doi.org/10.1109/ISCA.1988.5256
  9. Gupta, A, Forgy, C, Kalp, D., Newell, A and Tambe, M., 'Result of Parallel implementation of OPS5 on the Encore multiprocessor,' (Tech. Report No. CMU-CS-87-146). Computer Science Dept., Carnegie Mellon University, 1988
  10. Ishida, T., 'An optimization algorithm for production systems,' IEEE Transactions on Knowledge and Data Engineering, Vol.6, No.4, pp. 549-557, 1994 https://doi.org/10.1109/69.298172
  11. Miranker, D. P, TREAT: A new and efficient match algorithm for AI production systems, Morgan Kaufmann, San Mateo, CA, 1990
  12. Forgy, C. L, 'Rete: A fast algorithm for the many pattern/many object pattern match problem,' Artificial Intelligence, Vol.19, pp. 17-37, 1982 https://doi.org/10.1016/0004-3702(82)90020-0
  13. Hanson, E. N. and Hasan, M. S, 'Gator: An optimized discrimination network for active database rule condition testing,'(Tech. Report No. TR93-036). CISE Dept., University of Florida, 1993
  14. Cheng, H., Single-table rule condition evaluation in an asynchronous trigger processor, MS thesis, CISE dept., Univ. of Florida, 1997
  15. Hanson, E. N, Al-Fayoumi, N., Carnes, C., Kandil, M., Liu, H., Lu, M., Park, J. and Vernon, A, 'TriggerMan: An Asynchronous Trigger Processor as an Extension to an Object-Relational DBMS,' (Tech. Report No. 97-024). CISE Dept., University of Florida, 1998
  16. Gupta, A., Forgy, C. and Newell, A., 'High-Speed Implementation of Rule-Based Systems,' ACM Transactions on Computer Systems, Vol.7, No.2, pp. 119-146, 1989 https://doi.org/10.1145/63404.63405
  17. Park, J., Parallel Token Processing in an Asynchronous Trigger System, Ph.D. dissertation, CISE dept., Univ. of Florida, 1999
  18. Patterson, D. A. and Hennessy, J. L, Computer architecture: a quantitative approach, Morgan Kaufmann, San Mateo, CA, 1990