2 books in this genre
Fundamentals of algebraic specification 2
Hartmut Ehrig
Data Models, Database Languages, and Database Management Systems
Gottfried Vossen