MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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).


share|cite|improve this question
I hope you will get suitable answers to this question. Afterwards, there is a general theory of relation algebras and cylindric algebras developed by Alfred Tarski and his followers which may interest you. The original literature can be somewhat terse, so I recommend a web search before you tackle it. Gerhard "Ask Me About System Design" Paseman, 2011.08.24 – Gerhard Paseman Aug 24 '11 at 22:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.