[논문 리뷰] Effective Quotation: relating approaches to language-integrated query

James Cheney, Sam Lindley외 2명|arXiv (Cornell University)|2013. 10. 17.

Advanced Database Systems and Queries참고 문헌 35인용 수 9

한 줄 요약

이 논문은 핵심 계산법 Eff와 Quot을 도입하여, 효과 기반의 Links와 인용 기반의 LINQ를 포함한 두 가지 타입 안전하고 언어 통합된 쿼리 접근법을 제안하고 형식적으로 비교한다. 이는 상下향성이고 의미를 유지하는 번역을 통해 두 접근법이 표현력 면에서 동일하다는 것을 입증하며, 둘 다 타입 안전성과 SQL 인젝션에 대한 저항성을 확보한 동적 쿼리를 생성할 수 있음을 보여준다.

ABSTRACT

Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both approaches provide rich dynamic query generation capabilities, and thus amount to a form of heterogeneous staged computation, but to date there has been no formal investigation of their relative expressiveness. We present two core calculi Eff and Quot, respectively capturing the essential aspects of language-integrated querying using effects in Links and quotation in LINQ. We show via translations from Eff to Quot and back that the two approaches are equivalent in expressiveness. Based on the translation from Eff to Quot, we extend a simple Links compiler to handle queries.

연구 동기 및 목표

• Links의 효과 기반 쿼리 생성과 LINQ의 인용 기반 쿼리 생성이라는 두 개의 주목할 만한 언어 통합 쿼리 기법의 표현력을 형식적으로 비교하는 것.
• 한 쪽 접근법이 다른 쪽이 표현할 수 없는 동적 쿼리를 표현할 수 있는지 여부라는 열린 질문을 해결하는 것.
• 기존의 효과 기반 시스템인 Links에 LINQ 스타일의 인용을 통합하기 위한 기반을 마련하는 것.
• 일阶, 중첩된 관계 쿼리에 대해 두 접근법이 표현력 면에서 동일하다는 것을 입증하는 것.
• 인용 기반 번역의 통찰을 활용하여 Links 컴파일러에 부분적 쿼리 지원을 추가하는 것.

제안 방법

• 데이터베이스, 호스트 언어, 또는 둘 다에서 실행 가능한 코드를 분류하는 타입-효과 시스템을 사용하여 Links 스타일의 쿼리 생성을 모델링하는 핵심 계산법 Eff를 정의한다.
• 명시적 인용과 런타임에서 추상 구문 트리의 조작을 사용하여 LINQ 스타일의 쿼리 생성을 모델링하는 핵심 계산법 Quot를 정의한다.
• 효과적 계산을 인용 표현식으로 올리는 방식으로, 쿼리 동작을 유지하는 방식으로 Eff에서 Quot로의 정방향 번역을 구축한다.
• 인용을 시뮬레이션하기 위해 쿼리 생성을 위한 효과적 연산을 도입함으로써 Quot에서 Eff로의 역방향 번역을 구축한다.
• 정방향 번역을 사용하여 단순한 Links 컴파일러를 확장하여 쿼리 표현식을 지원하게 하여, 이 접근법의 실용성을 검증한다.
• 관찰 가능한 쿼리 동작을 유지하는 양방향 번역을 통해 두 계산법 간의 의미론적 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 효과 기반 접근법과 인용 기반 접근법은 동적 쿼리 생성에 대해 동일한 표현력을 갖는가?
• RQ2 Eff 스타일로 작성된 모든 프로그램은 동작에 손실 없이 Quot 스타일로 동등하게 번역될 수 있는가?
• RQ3 Quot 스타일로 작성된 모든 프로그램은 타입 안전성과 쿼리 의미론을 유지하면서 Eff 스타일로 동등하게 번역될 수 있는가?
• RQ4 Eff에서 Quot로의 번역은 기존의 효과 기반 컴파일러에 대한 실용적 확장을 가능하게 하는가, 예를 들어 쿼리 컴파일링을 지원하는가?
• RQ5 관찰 가능한 쿼리 동작을 유지하는 양방향 번역을 통해 두 접근법을 형식적으로 연결할 수 있는가?

주요 결과

• 일阶, 중첩된 관계 쿼리에 대해 효과 기반 쿼리 생성(Links)과 인용 기반 쿼리 생성(LINQ)은 형식적으로 동일한 표현력을 갖는다.
• Eff에서 Quot로의 의미론적 유지 번역은 Links 컴파일러에 부분적 쿼리 컴파일링 지원을 확장할 수 있게 하여 실용성의 가능성을 입증한다.
• Quot에서 Eff로의 역방향 번역은 인용 기반 쿼리 생성이 효과 시스템을 사용하여 모방될 수 있음을 보여주며, 효과 모델의 일반성을 검증한다.
• 번역 과정에서 관찰 가능한 쿼리 동작이 유지되며, 이는 두 시스템이 동일한 SQL 또는 메모리 내 쿼리 계획을 생성할 수 있음을 시사한다.
• 표현력 면에서의 동치성 결과는 놀라운데, 두 접근법은 구조적으로 다르게 보이지만 형식적 대응은 깊은 개념적 통일성을 드러낸다.
• 이 작업은 향후 시스템이 양쪽의 장점을 결합할 수 있음을 시사하며, 인용을 사용해 확장성을 향상시키면서도 효과 시스템의 성능 보장을 유지할 수 있다.