A Formal Presentation of MongoDB (Extended Version)
arXiv: Databases, Volume abs/1603.09291, 2016.
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 r...More
PPT (Upload PPT)