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

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

Операции, выполняемые над отношениями можно разделить на 2 группы:

1. Операции над множествами:

· объединение;

· пересечение;

· разность;

· деление;

· декартово произведение;

2. Операции над отношениями:

Рекомендуемые материалы

· проекция;

· соединение;

· выбор.

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

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

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

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

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

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

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

· S – поставщики;

· P – детали;

· SP – поставки.

S

P

SP