Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2019.10a
- /
- Pages.729-732
- /
- 2019
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Experimental Evaluation of Recursive Query Processing in Datalog Systems
데이터로그 시스템들의 재귀 질의 처리 성능 평가
- Lee, Yukyoung (Dept. of Creative IT Engineering, POSTECH) ;
- Kim, Hyeonji (Dept. of Creative IT Engineering, POSTECH) ;
- Hong, Ki-Jae (Dept. of Computer Science and Engineering, POSTECH) ;
- Kang, Hyuk Kyu (Dept. of Computer Science and Engineering, POSTECH) ;
- Han, Wook-Shin (Dept. of Computer Science and Engineering/Dept. of Creative IT Engineering, POSTECH)
- 이유경 (포항공과대학교 창의 IT 융합공학과) ;
- 김현지 (포항공과대학교 창의 IT 융합공학과) ;
- 홍기재 (포항공과대학교 컴퓨터공학과) ;
- 강혁규 (포항공과대학교 컴퓨터공학과) ;
- 한욱신 (포항공과대학교 컴퓨터공학과/창의 IT 융합공학과)
- Published : 2019.10.30
Abstract
데이터로그는 논리형 선언형 프로그래밍 언어로, 특히 재귀적인(recursion) 알고리즘을 표현하기 편리한 언어이다. 대표적인 데이터로그 시스템으로는 CORAL, LogicBlox, XSB, Soufflé가 있다. 본논문에서는 이 네 가지 시스템의 특징을 설명하고, 세 가지 벤치마크, 이행적 폐쇄(Transitive closure), 동세대(same generation), 포인터 분석(pointer analysis)으로 데이터로그 시스템들의 재귀 질의(recursive query) 처리 성능을 비교하였다.
Keywords