[논문 리뷰] First-Class Functions for First-Order Database Engines

Torsten Grust, Alexander Ulrich|arXiv (Cornell University)|2013. 08. 01.

Advanced Database Systems and Queries참고 문헌 19인용 수 6

한 줄 요약

이 논문은 첫째로 함수를 값으로 다루고, 인수로 전달하며, 고계 함수에서 반환되는 첫째로 함수를 포함한 쿼리를 원천적으로 실행할 수 있도록 해주는 비침습적 변환 기법인 쿼리 정함수화(query defunctionalization)를 소개한다. 함수 클로처를 데이터 구조로 인코딩하고 함수 호출을 테이블 기반의 디스패치 메커니즘으로 재작성함으로써, 표준 관계형 엔진에서 XQuery 3.0 및 PL/SQL 스타일의 기능적 쿼리를 효율적이고 정확하게 실행할 수 있도록 한다. 실험 결과는 뛰어난 성능와 정확성을 입증한다.

ABSTRACT

We describe Query Defunctionalization which enables off-the-shelf first-order database engines to process queries over first-class functions. Support for first-class functions is characterized by the ability to treat functions like regular data items that can be constructed at query runtime, passed to or returned from other (higher-order) functions, assigned to variables, and stored in persistent data structures. Query defunctionalization is a non-invasive approach that transforms such function-centric queries into the data-centric operations implemented by common query processors. Experiments with XQuery and PL/SQL database systems demonstrate that first-order database engines can faithfully and efficiently support the expressive "functions as data" paradigm.

연구 동기 및 목표

• 현대 쿼리 언어인 XQuery 3.0 및 PL/SQL에서 첫째로 함수 값으로 간주되는 첫째로 함수를 지원할 수 있도록, 원자 값과 데이터 구조를 다루는 데 설계된 첫째로 데이터베이스 엔진이 원천적으로 지원할 수 있도록 하는 것.
• 기존 데이터베이스 커널이 일반적으로 원자 값, 시퀀스, XML 노드만을 표현하는 데서 비롯된, 기능적 값에 대한 런타임 지원 부족 문제를 해결하는 것.
• 기능적 쿼리의 의미를 유지하면서도 표준 관계대수 연산으로 매핑하는 비침습적 변환 기법을 제공하는 것.
• 기존의 첫째로 엔진이 런타임 언어 확장이나 커널 수정 없이도 표현력 있는 기능적 쿼리 패턴, 특히 고계 함수와 함수 리터럴을 효율적이고 정확하게 실행할 수 있도록 하는 것.

제안 방법

• 쿼리 정함수화는 함수 리터럴, 이름이 지정된 함수 참조, 동적 호출과 같은 기능적 구성요소를 고유한 레이블을 가진 클로저 생성자로 사용하여 데이터 중심 표현으로 변환한다.
• 함수 리터럴은 환경의 자유 변수를 캡처하는 레이블이 부여된 클로저로 인코딩되며, 클로저 생성 시점에 바인딩된 값의 튜플로 표현된다.
• 함수 호출은 클로저 레이블을 해당 본문과 환경으로 매핑하는 케이스-오브-브랜치 테이블을 사용하는 디스패치 메커니즘으로 대체된다.
• 이 변환은 문법 기반이며 전체 쿼리 기반으로, 함수 선언과 자유 변수를 포함한 전체 쿼리 컨텍스트를 분석함으로써 의미적 일致성을 확보한다.
• 이 접근법은 프로그래밍 언어 이론에서 유래한 정함수화 기법을 XQuery 3.0 및 PL/SQL에 특화하여 적용하여 고계 구조를 첫째로 관계 연산으로 매핑한다.
• 이 변환은 소스에서 소스로의 컴파일러 단계로 구현되며, 쿼리 의미를 유지하면서도 표준 데이터베이스 엔진에서 실행 가능하게 한다.

실험 결과

연구 질문

• RQ1 런타임 언어 확장이나 커널 수정 없이도 첫째로 데이터베이스 엔진이 첫째로 함수를 원천적으로 지원할 수 있는가?
• RQ2 고계 함수, 함수 리터럴, 클로저와 같은 기능적 쿼리 패턴을 등가의 첫째로 관계 연산으로 정확하게 변환할 수 있는가?
• RQ3 표준 데이터베이스 엔진에서 복잡한 기능적 쿼리를 실행할 때 정함수화로 인해 발생하는 성능 오버헤드는 어느 정도인가?
• RQ4 정함수화가 XQuery 및 PL/SQL에서 map, fold, 연관 맵과 같은 기능 프로그래밍 패턴의 표현력과 명료성을 어느 정도 유지할 수 있는가?
• RQ5 정함수화 변환이 중첩된 클로저와 fold-right과 같은 고계 추상화를 포함한 다양한 쿼리 패턴에 균일하게 적용될 수 있는가?

주요 결과

• 쿼리 정함수화는 XQuery 3.0 및 PL/SQL 쿼리에서 첫째로 함수를 포함하는 경우를 등가의 첫째로 관계 연산으로 성공적으로 변환하여 표준 데이터베이스 엔진에서 실행 가능하게 한다.
• 실험적으로 fold-right 및 함수 리터럴을 사용한 map의 구현과 같은 복잡한 기능적 패턴이 정확하게 실행됨으로써 의미적 정확성이 입증된다.
• XQuery 및 PL/SQL 시스템에서의 실험 결과, 정함수화된 쿼리는 런타임 기능적 구현과 비교해도 성능가 비슷하며, 최소한의 오버헤드를 보인다.
• 이 방법은 키에서 값으로의 함수로 맵을 직접적으로 구현할 수 있게 하여, 그림 3의 등가 XML 기반 데이터 구조보다 더 간결하고 선언적인 표현이 가능하다.
• 레이블이 부여된 디스패치 테이블을 통한 클로저 표현은 효율적인 함수 호출을 가능하게 하며, 외부 스코프에서 캡처된 자유 변수를 포함한 중첩된 클로저도 지원한다.
• 이 방법은 비침습적이며 재사용 가능하여, 기반 쿼리 엔진을 수정하지 않고도 다양한 데이터베이스 시스템에 적용할 수 있다.