너비 우선 확장 방식을 이용한 데이타로그의 병렬적 처리 방법

연역 데이타베이스에서의 질의 처리는 다수의 연역 규칙 뿐만 아니라 많은 양의 사실들에 대한 검색 과정이 필수적이다. 연역 데이타베이스의 논리적 표현에 내재된 병렬성을 활용하기 위해서 본 논문은 AND/OR 질의를 너비 우선 확장 방식으로 처리하는 병렬 수행 방법을 제시한다. 질의의 회귀적 호출을 다루기 위해 AND/OR트리는 점진적인 방법으로 확장된다. 결과적으로 질의 처리의 두 가지 주요 연산인 사실 일치화 과정과 연역 규칙의 확장 과정을 독립적으로 수행하게 된다. 이러한 방법은 공유 변수사이에 존재하는 생산자-소비자 의존 관계를 제거하고 질의의 모든 해를 구하는 데 효율적인 방법을 제공한다.