중첩된 릴레이션을 위한 추론 시스템 = An Inference System for Nested Relations

국문 초록 (Abstract)

본 논문에서는 속성값으로 집합치를 허용하는 네스트 관계를 지원하는 연역 데이타베이스 시스템의 추론 방식에 대하여 논한다. 본 연역 데이타베이스 시스템에서는 내부 데이타베이스와 외부 데이타베이스에 네스트 관계를 허용함으로써 자연스럽고 압축된 데이타 구조의 표현 방식을 도입하였다. 또한 외부 데이타베이스와 내부 데이타베이스의 네스트 관계에 출현하는 집합치를 효율적으로 처리할 수 있는 네스트 관계용의 단일화 알고리즘(unification algorithm)을 제시, 구현하여 시스템 전체의 효율 향상을 꾀하였다. 본 시스템에서는 네스트 관계를 위한 확장된 부분 컴파일 추론 방식에 의한 질의 처리에 의하여, 사실(fact)이 내부 데이타베이스와 외부 데이타베이스에 공존하는 경우에도 부리터럴(negative literal)을 바르게 평가할 수 있다.

다국어 초록 (Multilingual Abstract)

This paper presents an inference method for nested relations which include set valued attributes. By allowing the nested relations in the internal of external databases of deductive databases, we represent several complex data structures in a compact and natural way. An unification algorithm which can manipulate set valued attributes efficiently is given. We propose an extended partial compilation algorithm, which evaluates negative literals properly even when the facts exist in both the internal and external databases.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 시스템의 개요
• 3. 네스트 관계를 위한 추론 시스템
• 4. 결론
• 참고문헌
• 저자소개