연역 데이타베이스에서 함수 심볼의 의미적 분석과 효율적 처리 방안에 관한 연구

기존 연역 시스템의 순환 질의처리 전략들은 대체로 함수가 배제된 데이타베이스만을 고려한다. 함수가 배제되는 이유는 일반적으로 유한하고 명백한 응답을 제공하기 위한 것이다. 불완전 정보는 함수 심볼로 표현 가능하고, 또 일반 규칙에서 좀더 명확한 의미를 제공하기 위한 존재 한정기호는 함수 심볼로 대치할 수 있다. 본 연구는 함수의 의미 및 필요성을 네가지로 분석하고 이것의 효율적 처리 방안을 제안한다. 함수 처리 앨고리즘은 공리와 질의의 특성에 따라 상향 방식과 하향 방식을, 또한 컴파일 접근과 인터프리티브 접근 방법을 적절히 혼합하여 효율적인 처리 방안을 제시하고 구체적인 예를 통하여 분석한다.