Extracting Notional Machines for Databases. - Daphne Miedema; George Fletcher 001; Fenia Aivaloglou; Leonard Busuttil; Laura Farinetti; Martin Goodfellow; Giovanna Guerrini; Georgiana Haldeman; Yuhan Pan; Sujeeth Goud Ramagoni; Chandrika Satyavolu; Raja Sooriamurthi; et al. (ITiCSE (2), 2025)