Теоретические языки запросов

В реляционных СУБД для выполнения операций над отношениями используются две группы языков, имеющие в качестве своей математической основы теоретические языки запросов, предложенные Э.Коддом:

• реляционная алгебра;

• реляционное исчисление.

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

В реляционной алгебре операнды и результаты всех действий являются отношени­ями.

Языки реляционной алгебры являются процедурными, так как отношение, явля­ющееся результатом запроса к реляционной БД, вычисляется при выполнении пос­ледовательности реляционных операторов, применяемым к отношениям. (Чтобы получить результат необходимо определить последовательность операторов.)

Операторы состоят из операндов, в роли которых выступают отношения, и реляционных опера­ций.

Результатом реляционной операции является отношение.

Языки исчислений, в отличие от реляционной алгебры, являются непроцедурными (описательными, или декларативными) и позволяют выражать запросы с помощью предиката первого порядка (высказывания в виде функции), которому должны удовлетворять кортежи или домены отношений.

Запрос к БД, выполненный с использованием подобного языка, содержит лишь информацию о желаемом результате.

Для этих языков характерно наличие наборов правил для записи запросов.

В частности, к языкам этой группы относятся QBE и SQL.