Просмотр исходного текста страницы Реляционная алгебра: унарные операции

В этом разделе будут описаны унарные операции в рамках [[Реляционная_алгебра|реляционной алгебры]]. В соответствии с определением, для определения каждой операции нужно указать способ построения заголовка, тела [[Реляционная_модель_данных._Ключи|отношения]], а также условия применимости, если такие есть.

== Проекция ==

{{Определение
|definition=
<tex>\pi_{a_1, a_2, \ldots, a_n}(A)</tex> {{---}} проекция отношения <tex>A</tex> на аттрибуты <tex>a_1, a_2, \ldots, a_n</tex>. <br>
'''Заголовок''' результирующего отношения: пересечение заголовка <tex>A</tex> с <tex>\{a_1, a_2, \ldots, a_n\}</tex>.<br>
'''Тело''': пересечение кортежей тела <tex>A</tex> c <tex>\{a_1, a_2, \ldots, a_n\}</tex>.
}}

Данная операция полезна как минимум для следующего:
* Привести отношение к виду, в котором с ним можно будет осуществить другую операцию (например, объединение);
* Выбрать из отношения только нужные данные (для выборки).

Ниже приведено пояснение определения для операции <tex>\pi_{A_2, A_4, A_5}(A)</tex>:

[[Файл:Primitive_Projection_0.png]]

Синим обозначены столбцы, которые есть в результирующем отношении. Остальные столбцы не используются, и результат не зависит от данных, которые там находятся.

'''Примеры'''

Приведем несколько тривиальных примеров применения проекции.

* <tex>\pi_{FirstName, LastName}</tex>
[[Файл:Primitive_Projection_2.png]]

* <tex>\pi_{FirstName}</tex>
[[Файл:Primitive_Projection_3.png]]

== Фильтрация ==

{{Определение
|definition=
<tex>\sigma_{condition}(A)</tex> {{---}} фильтрация (селекция, выборка из) отношения <tex>A</tex> по условию. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного.<br>
'''Тело''': кортежи, удовлетворяющие заданному условию.
}}

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


[[Файл:Primitive_Section_0.png]]

'''Примеры'''

Приведем несколько тривиальных примеров применения фильтрации.

* <tex>\sigma_{Id > 2}</tex>
[[Файл:Primitive_Section_2.png]]

* Можно писать и более сложные условия: <tex>\sigma_{Id > 2 \wedge FirstName=Иван}</tex>
[[Файл:Primitive_Section_3.png]]

* Еще можно исопльзовать функции, доступные в БД: <tex>\sigma_{length(FirstName) + 2 \geq length(LastName)}</tex>
[[Файл:Primitive_Section_4.png]]

Стоит обратить внимание на то, что отношение {{---}} это множество, поэтому повторяющиеся кортежи учитываются ровно по одному разу.


== Переименование ==

{{Определение
|definition=
<tex>\rho_{NewName_i = OldName_i}(A)</tex> {{---}} изменение имени атрибута. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названий <tex>OldName_i</tex> на <tex>NewName_i</tex>.<br>
'''Тело''': такое же, как в <tex>A</tex>, название атрибутов <tex>OldName_i</tex> заменено на <tex>NewName_i</tex>.
}}

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

'''Примеры'''

Ниже приведен тривиальный пример-пояснение для операции переименования.

* <tex>\rho_{Name=FirstName, Surname=LastName}</tex>
[[Файл:Primitive_Rename_2.png]]