CSCI 5707 LEC 001 Principles of DB Systems (Twin Cities Summer 2023)