26
правок
Изменения
Создание страницы. Промежуточная версия.
В этом разделе будут описаны унарные операции в рамках [[Реляционная алгебра:_предназначение_и_свойства|реляционной алгебры]]. В соответствии с определением, для каждой операции указывается способ построения заголовка, тела отношения, а так же условий применимости, если такие есть.
== Проекция ==
{{Определение
|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>.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
== Фильтрация ==
{{Определение
|definition=
<tex>\sigma_{condition}(A)</tex> {{---}} фильтрация отношения <tex>A</tex> по условию. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного.<br>
'''Тело''': кортежи, удовлетворяющие заданному условию.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
== Переименование ==
{{Определение
|definition=
<tex>\rho_{NewName_i = OldName_i}(A)</tex> {{---}} изменение имени атрибута. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названия <tex>OldName_i</tex> на <tex>NewName_i</tex>.<br>
'''Тело''': такое же, как в <tex>A</tex>, название одного атрибута изменено.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
== Проекция ==
{{Определение
|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>.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
== Фильтрация ==
{{Определение
|definition=
<tex>\sigma_{condition}(A)</tex> {{---}} фильтрация отношения <tex>A</tex> по условию. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного.<br>
'''Тело''': кортежи, удовлетворяющие заданному условию.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
== Переименование ==
{{Определение
|definition=
<tex>\rho_{NewName_i = OldName_i}(A)</tex> {{---}} изменение имени атрибута. <br>
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названия <tex>OldName_i</tex> на <tex>NewName_i</tex>.<br>
'''Тело''': такое же, как в <tex>A</tex>, название одного атрибута изменено.
}}
TODO: иллюстрация к определению.
'''Примеры'''
TODO: примеры и иллюстрации.
