MiniDB: A Teaching Oriented Lightweight Database. - Hongwei Zhou; Keda Kang; Yuchen Zhang; Jinhui Yuan (ICAIIS, 2021)