Text this: Solving Equations in the Relational Algebra.