• 제목/요약/키워드: Rule Execution Semantics

검색결과 4건 처리시간 0.023초

능동 규칙의 실행의미를 반영한 종료 분석기 (A Termination Analyzer Including Execution Semantics of Active Rules)

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

  • PDF

규칙 컴파일러를 위한 종료 분석 연구 (A Study on Termination Analysis for Rule Compiler)

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

  • PDF

원전감시 시스템을 위한 능동적 시간지원 규칙 모델 (An Active Temporal Rule Model for a Nuclear Plant Monitoring System)

  • 남광우;박정석;류근호
    • 한국정보처리학회논문지
    • /
    • 제6권9호
    • /
    • pp.2281-2293
    • /
    • 1999
  • 원전 감시, 공정 제어, 주식 시장 관리 및 통신 데이터 관리 등은 시간 개념을 갖는 데이터의 관리와 효율적인 데이터 처리를 위한 능동적 규칙 처리 기능을 동시에 필요로 한다. 그 동안 능동 데이터베이스 시스템에 시간 개념 지원을 확장하려는 연구소들은 다소 있었지만 시간지원 데이터베이스를 바탕으로 한 능동 데이터베이스에 관한 연구는 아직 많지 않다. 더욱이 실제 응용분야에 적용시키려는 노력은 찾아보기 어렵다. 이 논문은 이원시간지원 데이터베이스에 바탕을 둔 능동적 시간지원 데이터베이스 시스템에서의 능동적 시간지원 규칙 모델을 제시하였다. 아울러 제시된 규칙모델에 의한 규칙언어와 실행의미를 설명하고 원전 감시 시스템에 대한 적용 예를 보여주었다.

  • PDF

능동 규칙의 실행 의미를 반영한 종료 분석 (Termination Analysis including Execution Semantics of Active Rule)

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

  • PDF