Тимофеев, Использование свойств операций реляционной алгебры для оптимизации вычисления выражений, ТС, вып. 4, сс. 136-147, авг. 2007.