2 ms·
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
by lukeholder 10y ago
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 https://github.com/dkubb/axiom
[1] http://rom-rb.org/ http://rom-rb.org/