RT Generic
T1 MongoDB specification in Maude
T1 Especificación de MongoDB en Maude
A1 Alcaide García, Beatriz
AB MongoDB is a distributed NoSQL database management system that employs a document-oriented data model, enabling the storage of semi-structured data in a flexible format. Maude is a high-performance declarative language based on rewrit ing logic, designed for specifying and verifying complex systems. This thesis presents a formal specification of MongoDB as a distributed database system using the Maude language. The specification supports creating databases, creating unsharded collec tions, creating sharded collections, document insertion, and document querying. It also supports range queries through different operators.
AB MongoDB es un sistema distribuido de administración de bases de datos NoSQL que utiliza un modelo de datos orientado a documentos, permitiendo el almacenamiento de datos en un formato flexible semi-estructurado. Maude es un lenguaje declarativo de alto rendimiento basado en lógica de reescritura, diseñado para la especificación y verificación de sistemas complejos. Este trabajo de fin de grado presenta una especificación de MongoDB como un sistema distribuido usando el lenguaje Maude. La especificación permite la creación de bases de datos, de colecciones unsharded, de colecciones sharded y la inserción y búsqueda de documentos. La especificación también permite la búsqueda de documentos basada en rangos mediante el uso de diversos operadores.
YR 2025
FD 2025
LK https://hdl.handle.net/20.500.14352/123866
UL https://hdl.handle.net/20.500.14352/123866
LA eng
NO Trabajo de Fin de Grado en Ingeniería del Software, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2024/2025.
DS Docta Complutense
RD 12 sept 2025