One of my favorite CS books is “Databases, Types, and the Relational Mode: The Third Manifesto”
I actually have a (ginormous) dead-tree copy that doesn’t fit on any shelf but it’s available in PDF format as well: https://www.dcs.warwick.ac.uk/~hugh/TTM/DTATRM.pdf
(I realize I’m preaching to the choir here, but anyone who happens to find this toot gets to read one of my favorite books!)