Skip to main content

Formalizing MongoDB Queries

Botoeva, Elena, Calvanese, Diego, Cogrel, Benjamin, Xiao, Guohui (2017) Formalizing MongoDB Queries. In: CEUR Workshop Proceedings. Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017. 1912. (KAR id:91297)

PDF Publisher pdf
Language: English

Download (318kB) Preview
[thumbnail of paper5.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


In this paper, we report on our ongoing work in which we formalize MongoDB, a widely adopted document database system managing complex (tree structured) values represented in a JSON-based data model, equipped with a powerful query mechanism. We study the expressiveness of the MongoDB query language, showing its equivalence with nested relational algebra, and we investigate the computational complexity of significant fragments of it.

Item Type: Conference or workshop item (Proceeding)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Amy Boaler
Date Deposited: 03 Nov 2021 12:42 UTC
Last Modified: 04 Nov 2021 16:25 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):