2025/09/15 by Elena Botoeva, Botoeva, Elena, Julien Corman +3 · 1 voice
Computer Science · #Databases (cs.DB) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #cs.DB
paper · pdf · doi:10.48550/arxiv.2509.12189
openalex publication_date 2025/09/15 · arxiv published 2025/09/15 · openalex created_date 2025/10/12 · arxiv updated 2025/10/15 · openalex updated_date 2026/07/28
In this technical report, we present a formalisation of the MongoDB aggregation framework. Our aim is to identify a fragment that could serve as the starting point for an industry-wide standard for querying JSON document databases. We provide a syntax and formal semantics for a set of selected operators, We show how this fragment relates to known relational query languages. We explain how our semantics differs from the current implementation of MongoDB, and justify our choices. We provide a set of algebraic transformations that can be used for query optimisation.