Реляционная алгебра: унарные операции — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Создание страницы. Промежуточная версия.)
(нет различий)

Версия 00:30, 14 декабря 2021

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

Проекция

Определение:
[math]\pi_{a_1, a_2, \ldots, a_n}(A)[/math] — проекция отношения [math]A[/math] на аттрибуты [math]a_1, a_2, \ldots, a_n[/math].

Заголовок результирующего отношения: пересечение заголовка [math]A[/math] с [math]\{a_1, a_2, \ldots, a_n\}[/math].

Тело: пересечение кортежей тела [math]A[/math] c [math]\{a_1, a_2, \ldots, a_n\}[/math].


TODO: иллюстрация к определению.

Примеры TODO: примеры и иллюстрации.

Фильтрация

Определение:
[math]\sigma_{condition}(A)[/math] — фильтрация отношения [math]A[/math] по условию.

Заголовок результирующего отношения равен заголовку исходного.

Тело: кортежи, удовлетворяющие заданному условию.


TODO: иллюстрация к определению.

Примеры TODO: примеры и иллюстрации.

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

Определение:
[math]\rho_{NewName_i = OldName_i}(A)[/math] — изменение имени атрибута.

Заголовок результирующего отношения равен заголовку исходного с точностью до изменения названия [math]OldName_i[/math] на [math]NewName_i[/math].

Тело: такое же, как в [math]A[/math], название одного атрибута изменено.


TODO: иллюстрация к определению.

Примеры TODO: примеры и иллюстрации.