Logic query language algebraic optimization by