Abduction에 의한 뷰 갱신 = View Updates through Abduction

국문 초록 (Abstract)

본 논문은 연역 데이타베이스에서 뷰 갱신(view update)에 관한 것이다. 뷰는 추론 규칙에 의해 정의되는 술어로써 뷰 자체는 저장하지 않는다. 저장하지 않는 사실에 갱신을 허용하기 위해서 뷰를 정의하는 사실들의 갱신으로 바꿔주어야 한다. 즉 뷰 갱신을 abduction 체제에서 해결할 것이다. 뷰를 정의하는 규칙이 하나 이상일때 데이타베이스와 일관성이 있고 상태 변화를 최소로 갖는 해결책을 제시하고, abduction에 의한 뷰 갱신시 모호성(ambiguity)과 비 결정성(non-determinism)문제가 발생하는데 이러한 문제점들의 해결 방안을 제시 한다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. 갱신 처리
• Ⅲ. 해결 방안
• Ⅳ. 결론
• Ⅴ. 참고 문헌