http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
비혼 논리절의 갱신시 규칙기반의 유도절을 생성하는 방법
고혁진(Hyuk-Jin Ko),강희종(He-Jong Kang),민병무(Byung-Mu Min),김웅모(Ung-Mo Kim) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
본 논문에서는 불확정정보를 표현, 처리할 수 있는 비혼 데이타베이스상에서 갱신 논리절로 허용되지 않는 형태와, 갱신시 추론과정을 통해 생성되는 유도절이 기존 데이타베이스상에 존재하는 다른 논리절에 어떤 영향을 미치는가에 대한 고찰과, 갱신 전후의 데이타베이스상태간의 차이를 삭입, 삭제 형태의 논리절로 표현하기 위한 알고리즘을 제시하고, 갱신전후 리터럴의 진리값 변화를 알아낼 수 있는 방법을 제시한다.