Browse "School of Computing(전산학부)" by Author 홍기형

Showing results 1 to 8 of 8

1
Datalog 프로그램에서 강결합 요소의 처리를 위한 치환 제거 방법

홍기형; 황규영; 이윤준, 데이타베이스 연구회 동계 학술대회, pp.156 - 166, 한국정보과학회 데이타베이스연구회, 1992-02-01

2
Efficient processing of complex recursive queries = 복잡한 순환 질의의 효율적 처리link

Hong, Ki-Hyung; 홍기형; et al, 한국과학기술원, 1994

3
균일 동등을 이용한 RLF-선형화 가능성의 일반화

강지훈; 홍기형; 황규영; 조정완, 한국정보과학회 논문지(B), v.25, no.10, pp.1478 - 1492, 1998-10

4
동적 규칙 적용 순서에 의한 Semi-Naive 순환 질의 처리 방법

홍기형; 이윤준; 황규영, 한국정보과학회 논문지(B), v.23, no.4, pp.361 - 376, 1996-04

5
동적 규칙 적용 순서에 의한 Semi-Naive 순환 질의 처리 방법

홍기형; 이윤준; 황규영, 정보과학회논문지 (B), v.23, no.4, pp.361 - 376, 1996-01

6
소 결합 환경에서 순환 질의 처리를 위한 형판 연산기법

황규영; 홍기형; 이윤준, 한국정보과학회 논문지, v.18, no.3, pp.324 - 334, 1991-05

7
연역 규칙의 관리와 순환 질의 컴파일에 관한 연구 = A study on the management of deduction rules and the compilation of recursive querieslink

홍기형; Hong, Ki-Hyung; et al, 한국과학기술원, 1987

8
이중선형 데이타로그 프로그램의 선형화를 위한 충분조건

강지훈; 홍기형; 황규영; 조정완, 한국정보과학회 논문지 (B), v.23, no.2, pp.132 - 145, 1996-02

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0