Logic query language algebraic optimization door