Solving equations in the relational algebra

Joachim Biskup, Jan Paredaens, Thomas Schwentick +1

Enumerating all solutions of a relational algebra equation is a natural and powerful operation which, when added as a query language primitive to the nested relational algebra, yie…