Similar Tracks
F2023 #05 - Storage Models & Database Compression (CMU Intro to Database Systems)
CMU Database Group
A. Jesse Jiryu Davis - Are We Serious About Using TLA+ For Statistical Properties?
TLA+ - The Temporal Logic of Actions
05 - Columnar Databases & Compression (CMU Intro to Database Systems / Fall 2022)
CMU Database Group
F2023 #06 - Database Memory & Disk I/O Management (CMU Intro to Database Systems)
CMU Database Group
03 - Database Storage Models & Data Layout (CMU Advanced Databases / Spring 2023)
CMU Database Group