카운팅 방법을 사용한 연역적 고장 시뮬레이션의 구현

강신영 ,  김규철

대한전자공학회 학술대회

2000 .11

연역 객체 지향 데이터베이스에서의 지식에 기반한 질의 처리기

김성규

한국정보과학회 학술발표논문집

1997 .10

연역 규칙의 누적 번역을 이용한 연역 데이타베이스 시스템의 설계와 구현

홍기형 ,  이윤준

한국정보과학회 학술발표논문집

1990 .05

개인 통신 서비스 ( PCS )의 지능망을 위한 병렬 연역 데이터 베이스 시스템 ( Parallel Deductive Database Systems for Personal Communication Service )

이원석

전자파기술

1993 .03

연역데이타베이스에서 불확정정보의 표현 및 처리

김광수 ,  박석

데이타베이스연구

1991 .09

Position Statement : On Deductive Databases

Sang Ho Lee

한국정보과학회 워크샵

1991 .03

다중축척 공간 데이터베이스의 데이터 갱신

권오제 ,  강혜경 ,  이기준

한국GIS학회지

2004 .11

Development of an Inference System for Deductive Database Systems

Jee Hee Yoon ,  Toshihisa Takagi ,  Fumihi 외 2명

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

연역 데이타베이스에서 메타지식을 사용한 다중 질의 처리 ( Multiple Query Processing in Horn Deductive Databases using Meta-Knowledge )

김기영 ,  박석

대한전자공학회 학술대회

1989 .11

수치지도 건물데이터의 매칭 기반 갱신 및 이력 데이터 생성

박슬아 ,  유기윤 ,  박우진

한국측량학회지

2014 .08

연역 데이타베이스를 이용한 객체 지향 프로그램 분석 및 재구성 방법 프로토타이핑

정인상

정보과학회논문지(C)

1998 .02

논리를 기반으로 한 객체 지향 데이타 / 지식 모델링

이규철 ,  이석호

(구)정보과학회논문지

1991 .08

관계 데이타 베이스 시스템에서의 View 갱신 기능의 확장

이윤홍 ,  배해영

한국정보과학회 학술발표논문집

1987 .10

초병렬 환경에서 객체 지향의 의미적 네트워크를 활용한 연역 질의의 처리 방법

오상현 ,  이원석

정보과학회논문지(B)

1999 .07

Abduction에 의한 뷰 갱신

민병무 ,  김응모

한국정보과학회 학술발표논문집

1994 .10

연역적 방식을 이용한 게이트 레벨 논리 고장 시뮬레이션 ( A Study on Gate Level Logic Fault Simulation using Deductive Method )

장경찬 ,  강병익 ,  정정화

대한전자공학회 학술대회

1984 .01

자연 한글 갱신을 위한 확장 NHI의 설계 및 구현

이석호 ,  나민영

(구)정보과학회논문지

1986 .08

인터넷 구조에 적합한 그리드 데이터베이스 갱신 정책

김준상 ,  조지훈 ,  이원주 외 1명

한국정보과학회 학술발표논문집

2007 .10

그리드 데이터베이스에서 전송비용 최적화를 위한 복제본 갱신 전파 기법

장용일 ,  백성하 ,  배해영

멀티미디어학회논문지

2006 .11