Title: Formal techniques for data base design
Subjects: Database design, Database management, System design, Datenbankentwurf