Prolog에 근거한 관계 데이타베이스를 위한 메타 - 정보 방법에 관한 연구 = A Study on a Meta - Information Approach for Relational Databases Based on Prolog

국문 초록 (Abstract)

전형적인 Prolog-based 관계 데이타베이스에서 스키만 단계는 사용자 마음속에 암시적으로 표현되는데 반해 인스탄스 단계는 명시적으로 표현된다. 이것은 시스템 사용자의 관점에서 많은 응용들의 관리가 매우 복잡해 진다는 것을 의미하며 데이타 독립성도 회생된다. 본 논문에서는 인스탄스와 스키마 단계를 결합하는 것에 기초를 둔 Prolog-based 지식 표현과 조작을 개발한다. 이러한 목적을 위하여 집합, 사상(map)과 튜플의 객체 타입에 대한 Prolog-based 표현과 기본적인 연산들을 구현하였고, 또한 릴레이셔날 튜플, 릴레이션, 관계 데이타베이스를 모델하기 위한 원리와 기법도 구현하였다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. 연역(deductive) 시스템과 관계 데이타베이스의 결합
• Ⅲ. 관계 데이타베이스의 지식 표현
• Ⅳ. 메타 - 정보 방법에 의한 관계 데이타베이스 시스템의 구성
• Ⅴ. 결론
• 참고 문헌