Some DB stuff for the final writeup