See also: Axiom[0] and rom-rb[1] (which did use axiom I believe), although, I don't know what does or doesn't make them 'pure' relational algebra libraries.

[0] https://github.com/dkubb/axiom

[1] http://rom-rb.org/