RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • 확장된 내포 데이타베이스의 효율적인 처리방법

        정희진(Hoe-Jin Jeong),이상호(Sang Ho Lee) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2A

        논리 데이타베이스의 표현력 확장을 위한 연구의 일환으로 연구, 발표된 개선된 확장 내포 데이타베이스 (extended intensional databases)는 몸체에 존재한정자 및 부리터럴(negative literal)을 허용함으로써 다양한 표현이 가능하다. 한편, 존재한정자가 규칙에 쓰일 경우 보통 사용되는 도출방법의 경우, 스콜름 함수를 사용하여 존재한정자를 변환하게 되어 추론 후 도출식에 항상 스콜름 함수가 존재하게 되고 이로 인해 도출식의 처리가 어려워지는데, 이러한 점을 해결하고 개선된 확장 내포 데이타베이스에 적용가능한 새로운 비도출적 추론방법이 제안되었다. 본 논문에서는 개선된 확장 내포 데이타베이스의 처리를 효율적으로 하기 위하여 개선된 확장 내포 내포데이타베이스의 추론에 적합한 내부 데이타 구조를 보이고, 이 데이타 구조를 바탕으로 한 비도출적 추론 방법을 적용한 관련 알고리즘을 보인다. 또한, 제안된 내부 데이타 구조와 각 단계에 따른 알고리즘에 비도출적 추론방법을 적용한 예도 보인다.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼