http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
민병무(B. M. Min),김응모(U. M. Kim) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2A
본 논문은 연역 데이타베이스에서 뷰 갱신(view update)에 관한 것이다. 뷰는 추론 규칙에 의해 정의되는 술어로써 뷰 자체는 저장하지 않는다. 저장하지 않는 사실에 갱신을 허용하기 위해서 뷰를 정의하는 사실들의 갱신으로 바꿔주어야 한다. 즉 뷰 갱신을 abduction 체제에서 해결할 것이다. 뷰를 정의하는 규칙이 하나 이상일때 데이타베이스와 일관성이 있고 상태 변화를 최소로 갖는 해결책을 제시하고, abduction에 의한 뷰 갱신시 모호성(ambiguity)과 비 결정성(non-determinism)문제가 발생하는데 이러한 문제점들의 해결 방안을 제시 한다.