Аннотация доклада.

В докладе рассматривается возможность оптимизации декларативных запросов в базах данных с использованием лексических трансформаций. Предлагаемый подход основан на минимизации числа условий, входящих в запрос. Представлены алгоритмы минимизации на основе поглощения повторяющихся условий, поиска общих импликант, а также минимизации ограничения запроса как системы линейных неравенств. Приводится теоретическое обоснование эффективности минимизирующих преобразований, оценка сложности и границ применимости представленных алгоритмов, а также результате их экспериментального использования.