Solving Equations in the Relational Algebra. - Biskup, Joachim; Paredaens, Jan; Schwentick, Thomas (SIAM Journal on Computing, 2004)