[논문 리뷰] A Formal Presentation of MongoDB (Extended Version).

Elena Botoeva, Diego Calvanese외 3명|arXiv (Cornell University)|2016. 03. 30.

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

한 줄 요약

이 논문은 MongoDB의 JSON 기반 데이터 모델과 핵심 조각인 집합 연산 언어 MUPGL을 공식적으로 명세화하며, MUPGL이 단일 컬렉션에 대해 전체 관계대수보다 적어도 동등하게 표현 가능하다는 것을 입증한다. 이는 임의의 조인을 포함한 연산을 지원한다는 것을 의미한다. 또한 MUPGL의 계산 복잡도와 그 하위 조각들을 분석한다.

ABSTRACT

A significant number of database architectures and data models have been proposed during the last decade. While some of these new systems have gained in popularity, their formal semantics are generally still missing. In this paper, we consider the symptomatic case of MongoDB, a widely adopted document database, in which roughly speaking relational tables correspond to collections, and tuples to documents. We provide a formalization of the JSON-based data model adopted by MongoDB, and of a core fragment of the MongoDB aggregation query language, MUPGL, which includes the match, unwind, project, group, and lookup operators. We study the expressiveness of MUPGL by defining a relational view of MongoDB databases and developing a translation from relational algebra to MUPGL. Notably, we show that the MUPG fragment is already at least as expressive as full relational algebra over (the relational view of) a single collection, and in particular able to express arbitrary joins. We further investigate the computational complexity of MUPGL and of significant fragments of it.

연구 동기 및 목표

• 인기 있는 NoSQL 시스템에서 공식적 기초가 부족한 문제를 해결하기 위해, MongoDB의 JSON 기반 데이터 모델에 대한 공식적 의미 이론을 제공하는 것.
• MUPGL의 핵심 조각을 공식화함으로써, match, project, group, lookup 등의 핵심 연산자를 포함하는 것.
• 단일 컬렉션에 대해 전체 관계대수를 시뮬레이션할 수 있음을 보여줌으로써 MUPGL의 표현력을 입증하는 것.
• MUPGL 및 주요 하위 조각의 계산 복잡도를 분석하여, 쿼리 최적화 및 평가에 대한 이론적 기초를 마련하는 것.

제안 방법

• 관계대수와의 비교를 가능하게 하기 위해 MongoDB 데이터베이스의 공식적 관계적 시각을 정의하는 것.
• 표현력 동등성을 입증하기 위해 관계대수에서 MUPGL로의 번역을 설계하는 것.
• MUPGL의 핵심 연산자인 match, unwind, project, group, lookup의 의미를 공식화하는 것.
• 표준 복잡도 이론 기법을 사용하여 MUPGL 및 그 하위 조각의 계산 복잡도를 분석하는 것.
• 공식 논리와 집합 이론적 구성 요소를 사용하여 문서 구조와 쿼리 연산을 모델링하는 것.
• group 및 lookup 연산자를 통해 MUPGL이 임의의 조인을 표현할 수 있음을 입증하는 것.

실험 결과

연구 질문

• RQ1 MUPGL은 단일 컬렉션에 대해 전체 관계대수의 모든 연산을 표현할 수 있는가?
• RQ2 MUPGL 및 주요 하위 조각의 계산 복잡도는 무엇인가?
• RQ3 MongoDB 데이터베이스의 공식적 관계적 시각을 어떻게 구성할 수 있으며, 이는 이론적 분석을 가능하게 하는가?
• RQ4 MUPGL 조각은 전통적인 관계 연산(예: 선택, 투영, 조인)을 어느 정도 시뮬레이션할 수 있는가?
• RQ5 문서 지향 데이터베이스인 MongoDB와 같은 환경에서 쿼리 의미 이론에 대해 어떤 공식적 보장을 제공할 수 있는가?

주요 결과

• MUPGL은 단일 컬렉션에 대해 전체 관계대수보다 적어도 동등하게 표현 가능하며, 임의의 조인을 표현할 수 있다.
• 관계대수에서 MUPGL로의 공식적 번역은 모든 관계대수 연산이 MUPGL 내부에서 인코딩될 수 있음을 보여준다.
• MUPGL 조각은 그룹화 및 중첩된 lookups와 같은 복잡한 연산을 지원하여 고급 데이터 조작을 가능하게 한다.
• MUPGL의 계산 복잡도는 분석되었으며, 사용된 연산자에 따라 일부 조각은 PTIME에 속하고 다른 일부는 NP-난이도임을 보여준다.
• 공식화는 MongoDB 유사 시스템에서 쿼리 최적화 및 정확성에 대한 견고한 이론적 기초를 제공한다.
• MongoDB 데이터베이스의 관계적 시각은 쿼리 의미 이론과 등가성에 대해 정확한 추론을 가능하게 한다.