• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.933-936
• /
• 2001

공간데이터베이스 시스템에서 데이터베이스의 일관성 유지를 위해 의미적 무결성을 지원해야 한다. 예를 들어, 실세계의 구경계 레이어에서 공간 객체인 구는 주위의 구들과 항상 접해 있어야만 하는 상접 (Meet)한 성질과 두개 이상의 다른 구가 동일한 이름을 가질 수 없는 성질을 가진다. 이 성질은 실세계에서 묵시적으로 인지되는 개념이다. 따라서 공간객체의 갱신으로 인해 레이어에 대한 묵시적인 개념이 위배될 경우 무결성 유지가 필요하다. 본 논문에서는 이 레이어에 대한 공간 객체의 무결성을 유지하기 위한 능동적 공간 연산 트리거를 제안한다. 제안한 기법은 레이어에 대한 무결성 제약조건이 위배될 때 수행되며, 동일 레이어에 대한 공간과 비공간 데이터 트리거로 나누어 수행되고, 다른 레이어에 대한 비공간 데이터 트리거를 수행하는 기법이다. 동일한 레이어에 대한 능동적 공간 연산 트리거는 공간객체인 공간 비공간 데이터에 대한 각각 또는 모두에 대한 갱신인지를 구분하여 공간 데이터에 대한 트리거 수행단계와 비공간 데이터에 대한 트리거의 수행단계로 나누어 수행 전략를 결정하여 수행되고, 마지막으로 다른 레이어에 대한 비공간 데이터에 대한 트리거를 수행한다. 능동적 공간 연산 트리거는 상접성을 유지해야 하는 공간 객체들의 의미적 무결성을 위해 각각의 공간과 비공간 데이터에 대하여 3 단계 수행으로 공간 객체에 대한 의미적 무결성 유지와 자동 보정으로 사용자 편의성을 제공한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.127-130
• /
• 2002

SyncML 은 데이터 동기화에 관한 개방형 업체 표준으로, 통신 프로토콜, 구동 장치 및 사용 응용과 무관한 동기 프로토콜을 제공하고, 동기 될 데이터의 형식에도 무관하게 동작하도록 정의되었다. 최근 들어 이러한 특징은 기업 데이터의 동기화 서비스를 제공하는 도구로 관심 받기 시작하였다. 대부분의 기업 응용은 데이터베이스를 기반으로 수행되기 때문에 데이터베이스 정보의 동기 기능이 중요한 요소이다. 이런 이유로 최근에 개발되는 대부분의 SyncML 엔진은 데이터베이스 동기 기능을 갖추고 있다. SyncML 을 이용한 데이터베이스 동기 기능을 제공하기 위해서는 데이터베이스 내에 발생되는 갱신 정보를 SyncML 동기 장치에 전달할 필요가 있다. 이를 위해, 데이터베이스를 갱신하는 응용을 수정할 필요성이 발생하였다. 그러나 데이터베이스의 경우 다수의 응용이 동일한 데이터베이스를 접근하여 갱신하는 경우가 많아, 이런 모든 응용을 수정하는 방법은 비현실적이다. 현재 개발된 대부분의 제품은 이러한 문제점을 갖고 있다. MoIM-SyncML 은 SyncML 표준 규격을 기반으로 개발된 동기 엔진으로, 트리거와 뷰를 이용하여 기존 데이터베이스 응용의 수정 없이 데이터베이스 갱신 정보를 수집하는 것이 가능하도록 설계되었다. 본 논문에서는 트리거와 뷰를 이용하여 데이터베이스에 발생하는 갱신 정보를 수집하는 기법에 대해 설명한다.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.823-834
• /
• 2001

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

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.492-501
• /
• 2002

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

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.513-522
• /
• 2001

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.58-60
• /
• 2001

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.187-189
• /
• 2001

기존 시스템에서 보다 정확하고 신속한 정보의 제공에 대한 사용자들의 요구사항을 충족시키기 위해서는 시스템의 개선이나 현재 운영중인 시스템의 조율이 필수적으로 여겨지고 있다. 시스템 개발자는 관계형 데이터베이스 시스템의 성능을 저하 시키는 용인 중 응용 프로그램들과 저장 포로시저, 트리거, 패키지, 뷰 등에 대한 성능 향상을 위하여 튜닝을 고려하여야만 한다. 특히, 응용 어플리케이션 수행에 많은 시간을 소요하거나, 많은 자원을 필요로 하는 응용 프로그램들을 중심적으로 분석하여 적절한 튜닝을 수행한다. 또한, 오라클에서 제공하는 도구들을 이용하여 자료나 질의문의 특성을 파악한 후에 효과적인 개선을 통하여 데이터베이스 시스템의 성능 및 효율을 높이는 방법에 관심을 두고 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.21-23
• /
• 2000

공간 데이터베이스 시스템에서 객체간의 인접성을 유지해야하는 공간 객체의 갱신 연산 수행시, 이와 인접한 공간 객체들은 의미적 무결성을 상실하게 된다. 이러한 의미적 무결성을 만족하기 위해서는 수작업으로 무결성을 유지하는 수동적 무결성 유지 방법보다 사용자 편의성을 위해 자동 보정 연산의 지원이 필요하다. 본 논문에서는 공간 객체의 갱신 연산 수행시 인접한 공간 객체간의 의미적 무결성을 지원하기 위한 능동적인 공간 연산 트리거를 제안한다. 제안한 기법은 무결성 제약조건 검증 단계에서 인접한 공간 객체에 대한 자동 보정 연산을 수행하여 객체간의 의미적 무결성을 유지한다. 제안한 기법의 지원을 위해 무결성 제약조건은 레이어, 공간 객체의 순서로 기술하며, 무결성 검증 단계는 공간 객체, 레이어 순으로 제약조건 검사를 수행한다. 능동적 공간 연산 트리거는 레이어 제약조건 검증 단계에서 갱신연산에 대해 공간 위상 추출연산을 포함한 확장된 SQL을 사용하여 무결성을 유지하도록 한다. 능동적 공간 연산 트리거는 레이어 제약조건 검사와 공간 객체에 대한 자동 보정 연산의 수행을 통하여 인접성을 유지해야 하는 공간 객체들의 의미적 무결성과 사용자 편의성을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.223-225
• /
• 1998

실시간 감시(monitor) 및 제어(control) 시스템의 데이터베이스는 계속적으로 감지기(sensors)에 의해 갱신된다. 연속적인 데이터의 변화에 의한 제약조건(constraints) 위반은 시스템에 심각한 문제를 발생시킨다. 이러한 시스템의 감시 및 제어를 능동적(active)으로 제공하기 위한 기능의 보편적인 형태로 능동규칙(Active rules)을 사용한다. 능동규칙은 정의된 사건(event)이 발생하면, 데이터베이스 상태의 변화에 대한 조건(condition)에 의해 행동(action)을 수행한다. 무결성(integrity) 제약조건을 능동규칙으로 선언함으로써 데이터베이스의 상태를 감시 및 제어하는 것이다. 일반적으로 사용되어온 능동규칙은 제한적인 시간상 무결성 제약조건 검사를 허용하고 있으며, 최근 능동규칙을 사용하여 시간상 연속적인 데이터베이스의 변화에 대한 제약조건 및 트리거(trigger)를 제공하기 위한 연구의 필요성이 대두되고 있다. 이 논문은 사건 빈도와 연합된 시간상에 연속적인 데이터베이스 상태 변화의 확장된 시간조건 상술을 지원하는 시간능동 규칙을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.85-88
• /
• 2001

이 논문은 시간 데이터베이스에 능동 규칙 시스템을 결합한 능동적 시간 데이터베이스의 능동 규칙 및 실행 모델을 제안하며 그 모델을 설계 구현한다. 기존의 시간 데이터베이스 능동 규칙 연구들이 시간 릴레이션에 대한 조건-조치 형태의 규칙 지원에 머물렀던데 비하여 제안하는 능동 규칙 모델은 유효시간 및 트랜잭션 시간을 지원하는 이원 시간 릴레이션에 대해 SQL3 트리거의 기능 모두를 시간 데이터베이스 상에서 지원한다. 즉, 전이 릴레이션 및 전이 변수, 조건-조치의 류플 및 문 단위 수항을 포함한다. 또한, 능동 규칙의 유효시간 정의 및 유효시간 사건 등의 새로운 개념을 제시하고 시스템 구조 및 설계 구현에 대하여 기술한다.