VeraSQL: An educational client for relational databases. - André Greubel; Theresa Rudolph; Martin Hennecke (DeLFI, 2020)