Relational Algebra
Stratego -- Strategies for Program Transformation
Introduction
The RelationalAlgebra package defines an abstract syntax for relational algebra, a presentation of relational algebra in MathML? and optimization of relational algebra expressions.
Download and installation
svn checkout https://svn.strategoxt.org/repos/StrategoXT/trunk/experimental/relational-algebra
See also