Comprehensive exploration of database management, relational models, and type theory. Detailed study of the impact of type theory on the relational model of data.
Databases, Types, and The Relational Model: The Third Manifesto by C.J. Date and Hugh Darwen is a comprehensive exploration of database management, relational models, and type theory.
This course is recommended for those interested in a deep dive into the theoretical foundations of database systems and the relational model. It provides a thorough understanding of type theory and its applications in database design and management.
How GetVM Works
Learn by Doing from Your Browser Sidebar
Access from Browser Sidebar
Simply install the browser extension and click to launch GetVM directly from your sidebar.
Select Your Playground
Choose your OS, IDE, or app from our playground library and launch it instantly.
Learn and Practice Side-by-Side
Practice within the VM while following tutorials or videos side-by-side. Save your work with Pro for easy continuity.
Explore Similar Hands-on Tutorials