Использование свойств операций реляционной алгебры для оптимизации вычисления выражений - Тимофеев (Труды СПИИРАН, 2007)