개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
ABSTRACT
1. 서론
2. Horn 논리절 질의어의 최적화
3. 상향(Bottom-up)방식의 최적화 알고리즘
4. 최적화 알고리즘의 적용에
5. 실행예와 평가
6. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
데이터 흐름 개념에 의한 Horn 논리절 질의어의 최적화
(구)정보과학회논문지
1989 .12
비혼 논리절의 갱신시 규칙기반의 유도절을 생성하는 방법
한국정보과학회 학술발표논문집
1993 .10
컴퓨터 논리와 현실적 논리
소프트웨어세계
1994 .01
논리와 논리머신
전자공학회지
1988 .06
조상 계열 증명 절차를 이용한 비혼 논리 프로그램의 컴파일 방법
정보과학회논문지(B)
1999 .07
권하는 책 : 도시의 논리
건축
1998 .12
비혼 논리 프로그램의 혼 논리 프로그램으로의 변환
한국정보과학회 학술발표논문집
1998 .04
개선된 지원 논리 프로그래밍
한국정보과학회 학술발표논문집
1990 .10
비혼 논리 프로그램의 효율적 수행
한국정보통신학회논문지
2005 .07
프롤로그 프로그램에 대한 술어 사용 방식의 처방과 이의 부목표 스케쥴링에 대한 적용
(구)정보과학회논문지
1995 .05
[경제이야기(6)] 경제논리와 정치논리
오토저널
1999 .12
논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구
한국정보과학회 학술발표논문집
1993 .10
이접 논리 언어와 등식 논리 언어의 통합
정보과학회논문지(B)
1998 .02
Prolog를 이용한 논리회로의 기능적인 검증
한국정보과학회 학술발표논문집
1987 .04
논리 추론을 위한 QUEL 의 술어 해석으로의 변환에 관한 연구
한국정보과학회 학술발표논문집
1986 .04
1991년도 전자업계를 총점검한다-정치논리와 경제논리
전자진흥
1991 .01
논리 합성 기술
전자공학회지
1993 .11
[特輯]논리 프로그래밍의 최근 연구 동향
정보과학회지
1992 .06
논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )
대한전자공학회 학술대회
1987 .11
0