CSCE 520: Database System Design