Упрощение

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

p Ù p = p pÚp=p pÚtrue=true и т.д.