Title: Formal Techniques for Data Base Design
Subjects: Database management, System design, Database design