Database Systems Labs
Evidencia reproducible
7 de los 8 laboratorios corren sin instalar nada y sin levantar ningún servidor, y se comprueban en cada cambio sobre Python 3.11, 3.12 y 3.13. Ninguno afirma nada en milisegundos: un tiempo depende de la máquina, así que lo que se afirma son invariantes, planes de ejecución, accesos y bytes.
Carga el esquema y los datos canónicos en SQLite en memoria, ejecuta reuniones y agregaciones, y comprueba invariantes sobre el resultado.
python labs/01-sql-foundations/run_lab.pyQué mide
De dónde sale el criterio
Traduce el mismo dominio a tres modelos —relacional, documental y de grafo— y obliga a declarar qué gana y qué se pierde en cada uno.
Qué mide
De dónde sale el criterio
Dos hilos reales compiten por la última plaza de un curso. El laboratorio reproduce la actualización perdida y la corrige con actualización atómica, control optimista por versión y bloqueo pesimista.
python labs/03-transactions/run_transactions_lab.pyQué mide
De dónde sale el criterio
Veinte mil filas deterministas, tres consultas y dos índices. Las aserciones son sobre el plan y sobre el trabajo —instrucciones de la máquina virtual—, nunca sobre el tiempo.
python labs/04-indexing/run_indexing_lab.pyQué mide
De dónde sale el criterio
Cuenta accesos, bytes y tamaño de partición para decidir entre incrustar y referenciar, y para mostrar que un TTL no es coherencia ni una clave de partición cualquiera reparte la carga.
python labs/05-nosql-workloads/run_nosql_lab.pyQué mide
De dónde sale el criterio
Similitud coseno y recall@k sobre vectores deterministas, antes de introducir cualquier modelo de embeddings externo.
python labs/06-vector-search/run_vector_lab.pyQué mide
De dónde sale el criterio
Un líder y dos seguidores con retraso declarado. Cuenta las lecturas obsoletas y las que rompen garantías que la aplicación daba por hechas, y aplica las tres correcciones: leer del líder, esperar la posición propia o exigir quórum.
python labs/07-replication/run_replication_lab.pyQué mide
De dónde sale el criterio
Respalda una base real con la API del motor, sigue escribiendo mientras archiva cada transacción, provoca un borrado sin filtro y reconstruye la base a un instante anterior al desastre. Un respaldo que no se restaura no es un respaldo.
python labs/08-recovery/run_recovery_lab.pyQué mide
De dónde sale el criterio