This is a book on database management that is based on an earlier book by the same authors, Foundation for Future Database Systems: The Third Manifesto. It can be seen as an abstract blueprint for the design of a DBMS and the language interface to such a DBMS. In particular, it serves as a basis for a model of type inheritance. This book is essential reading for database professionals.