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