논리식의 관계대수 변환기법 전략 = A Strategy for Relational Algebra Translation Technique of Logic Formula

국문 초록 (Abstract)

논리 데이타베이스의 표현력은 몸체에 존재한정사 및 부리터럴을 허용함으로써 다양한 표현이 가능하다. 논리식이 데이타베이스 환경에서 효율적으로 평가되기 위해서는 관계대수 표현식으로 변환되어야한다. 기존의 규칙들을 관계대수 표현식으로 변환하는 알고리즘들은 리터럴안의 변수들이 전칭한정되는 경우에 한하여 허용하였으며, 부리터럴의 처리를 위해 DOM 릴레이션 또는 속성 정의역(attribute domain)을 필요로함으로써 비효율적이다. 본 논문에서는 전칭한정사, 존재한정사, 부리터럴을 허용하는 IDB를 관계대수 식으로 변환하는 주요 기법을 기술한다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 규칙에서의 존재한정사의 의미
• 3. 관계대수 변환 주요기법
• 4. 결론 및 향후 연구방향
• 5. 참고문헌