Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can anyone suggest a text that provides a rigorous and modern development of the relational algebra? A chapter out of a rigorous survey text on algebra, for example, would probably be sufficient. In any event, such a treatment may presume (and, ideally, will presume) that basic aspects of algebra such as groups/rings/modules/etc. are familiar. Unfortunately, the only treatments of relational algebra I've been able to find are very elementary and directed at RDBMS programmers.

share|improve this question
    
Have you find something else except the Maddux's work? –  Yrogirg Mar 25 '12 at 18:46
    
@Yrogirg Sorry but, no, I have not. Seems like there's a definite lack of pedagogical material in this area. As it turns out, Maddux wrote a huge treatise (over 700 pages) on the subject but this is considerably more than I was looking for. –  ItsNotObvious Mar 29 '12 at 19:18

2 Answers 2

up vote 5 down vote accepted

A nice entry point into the literature on calculus of relations is Roger D. Maddux's The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. This historical survey will take you from the pioneering work of Pierce and Schröder up to more recent work by Jonsson, Lyndon, Monk, Tarski and others. Chasing references to the works in the bibliography will lead you to more recent work.

Also see Uta Priss' An FCA interpretation of Relation Algebra for (pointers to) connections of relation algebra and the relational algebra in database theory.

share|improve this answer
    
A remark, copied from the suggested edit: Also see Uta Priss' An FCA interpretation of Relation Algebra for (pointers to) connections of relation algebra and the relational algebra in database theory. –  Sasha Jan 11 '13 at 17:38

I'd suggest reading through Jonsson and Tarski's "Boolean Algebras with Operators" Part II. As for a more modern reference: Givant is currently finishing up a book. I'd wait until he completes it.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.