Can anyone point me to short survey articles of mathmatical expositions of Codd's relational algebra and calculus (from database theory)?
I suspect there's some straightforward categorical interpretation of these. (NB I'm aware of David Spivak's[1] intriguing application of category theory to databases, but I'm after an application to the specific models of relational algebra and calculus themselves).

