본 논문에서는 논리 프로그램의 AND 병렬 수행을위한 하부구조 (framework)를 논리적인 정의를 통해서 제안하고 제안된 하부구조를 기초로하여 지능적인 resetting 방법을 제안한다. 여기서 제안...
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82305660
1990
Korean
004
학술저널
347-350(4쪽)
0
상세조회0
다운로드국문 초록 (Abstract)
본 논문에서는 논리 프로그램의 AND 병렬 수행을위한 하부구조 (framework)를 논리적인 정의를 통해서 제안하고 제안된 하부구조를 기초로하여 지능적인 resetting 방법을 제안한다. 여기서 제안...
본 논문에서는 논리 프로그램의 AND 병렬 수행을위한 하부구조 (framework)를 논리적인 정의를 통해서 제안하고 제안된 하부구조를 기초로하여 지능적인 resetting 방법을 제안한다. 여기서 제안된 지능적인 resetting 방법은 실패한 리터럴의 바인딩 정보를 기초로하며, 이 정보는 resetting 할 때 지능의 주된 요인이다. 우리들은 제안된 지능적인 resetting 방법의 정확성을 framework에 기초하여 간단하고 논리적인 방법으로 증명한다.
목차 (Table of Contents)
교환기 메타 DB를 이용한 데이타베이스 생성기 설계 및 구현
통계 데이타베이스 시스템의 요약테이블을 위한 논리언어의 설계
객체 지향 연역 데이타베이스의 논리절 변환에 기초한 데이타 / 지식 정의 및 처리
중첩 릴레이션 데이타베이스 시스템을 위한 수평 분할 릴레이션에 대한 연구