$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

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

Termination Analysis including Execution Semantics of Active Rule

2001 봄 학술발표논문집(B), 2001 Apr., 2001년, pp.58 - 60  

황정희 (충북대학교 데이터베이스연구실) ,  신예호 (충북대학교 데이터베이스연구실) ,  류근호 (충북대학교 데이터베이스연구실)

초록
AI-Helper 아이콘AI-Helper

능동 데이터베이스는 능동 규칙(rule)을 이용하여 DBMS 스스로 데이터베이스 상태변화에 대응하는 규칙을 수행한다. 이러한 능동 규칙은 서로 다른 규칙을 무환하게 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 그러므로 규칙의 비종료를 방지하고 규칙 처리를 미리 예측하기 위한 목적으로 규칙의 종료에 관한 연구가 수행되고 있지만 규칙의 다양한 사건 형태에 따라 분석 결과가 달라질 수 있음에도 불구하고 일반적으로 사용되고 있는 복합사건의 규칙과 규칙 실행의 적용시점을 나타내는 before, after 규칙을 포함한 종료분석방법은 제시되고 있지 않다. 그러므로 이 논문에서는 규칙 종료의 정확한 분석을 위해 복합사건의 규칙과 before 또는 after 규칙을 고려한 종료분석 방법을 제시하고 이것을 기존의 트리거 그래프와 규칙간에 형성되는 비활성화 관계를 그래프로 표현하여 결합한 그래프에 적용하는 규칙종료 분석 방법을 제시한다.

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 그러므로 기존의 연구에서는 단일사건의 규칙만을 분석 대상에 반영했을 뿐 복합사건이나 규칙의 적용 시점을 나타내는 before, after 규칙을 고려하여 종료 분석방법올 제시하고 있는 경우는 드물다. 그러므로 이 논문에서는 기존의 연구에서 제시되지 않았던 복합사건의 규칙과 before, after 규칙의 실행의미를 포함하고, 기존의 트리 거 그래프와 규칙 간의 비활성화 관계를 표현한 TG와 DG 결합 그래프를 이용하여 규칙의 종료를 분석하는 방법을 제안하고자 한다.
  • 이러한 기존의 연구에서는 다양한 사건의 형태가 규■칙 에 적용될 수 있옴에도 불구하고 기본사건의 규칙만을 분석 대상으로 할 뿐 복합사건과 before, after 규칙을 고려하고 있지 않다. 그러므로 이 논문에서는 복합사건의 규칙과 규칙의 실행 적용 시점을 나타내는 before, after 규칙의 실행 의미릍 포함하고 규칙의 실행 가능성을 나타내는 TG와 조건을 거짓(false)이 되도록 하여 실행되지 못하는 규칙의 관계를 나타내는 DG를 결합한 그래프를 제시하고자 한다. 이 그래프는 규칙 관계를 더 간결하게 표현할 수 있고 규칙의 실행의미도 포함하므로 실행 종료 결정을 정확하개 할 수 있다.
  • 이 논문에서는 실행 가능성을 나타내는 기존의 TG에, 조건올 거짓이 되도록 하여 실행이 불가능한 비활성화 그래프(DG)를 결합하는 방법을 제시한다. 이 결합 그래프는 무한하게 실행될 가능성이 있는 사이클의 게거여 부를 명확하게 결정할 수 있게 하드로 규칙종료 분석을 간결하게 할 수 있다.
본문요약 정보가 도움이 되었나요?

관련 콘텐츠

섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트