Lab course: implementation of a main-memory database system