Викиконспекты - Вклад участника [ru]

Реляционная алгебра: унарные операции

2021-12-14T12:37:31Z

Dzhiblavi:

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

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

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

Пояснение к определению:

[[Файл: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> {{---}} изменение имени атрибута. 
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названий <tex>OldName_i</tex> на <tex>NewName_i</tex>. 
'''Тело''': такое же, как в <tex>A</tex>, название атрибутов <tex>OldName_i</tex> заменено на <tex>NewName_i</tex>.
}}

'''Примеры'''
* <tex>\rho_{Name=FirstName, Surname=LastName}</tex>
[[Файл:Primitive_Rename_2.png]]

Реляционная алгебра: операции над множествами

2021-12-14T12:37:06Z

Dzhiblavi:

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

== Простые операции ==

Из теории множеств в реляционную алгебру естественным образом переходят операции:
* <tex>R_1 \cup R_2</tex> {{---}} объединение;
* <tex>R_1 \cap R_2</tex> {{---}} пересечение;
* <tex>R_1 \setminus R_2</tex> {{---}} разность.
Эти операции по определению применимы только к отношениям с одинаковыми заголовками. В результате получается отношение с таким же заголовком и телом, полученным в соответствии с множественной операцией.

== Примеры ==

* <tex>R_1 \cup R_2</tex>
[[Файл:Set_Union_2.png]]

* <tex>R_1 \cap R_2</tex>
[[Файл:Set_Intersect_2.png]]

* <tex>R_1 \setminus R_2</tex>
[[Файл:Set_Minus_2.png]]

Реляционная алгебра: операции над множествами

2021-12-14T12:36:42Z

Dzhiblavi: Исправление

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

== Простые операции ==

Из теории множеств в реляционную алгебру естественным образом переходят операции:
* <tex>R_1 \cup R_2</tex> {{---}} объединение;
* <tex>R_1 \cap R_2</tex> {{---}} пересечение;
* <tex>R_1 \setminus R_2</tex> {{---}} разность.
Эти операции по определению применимы только к отношениям с одинаковыми заголовками. В результате получается отношение с таким же заголовком и телом, полученным в соответствии с множественной операцией.

== Примеры ==

* <tex>R_1 \cup R_2</tex>
[[Файл:Set_Union_2.png]]

* <tex>R_1 \cap R_2</tex>
[[Файл:Set_Intersect_2.png]]

* <tex>R_1 \setminus R_2</tex>
[[Файл:Set_Minus_2.png]]

Реляционная алгебра: операции над множествами

2021-12-14T12:34:57Z

Dzhiblavi: Добавлены недостающие иллюстрации и примеры.

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

== Простые операции ==

Из теории множеств а реляционную алгебру естественным образом переходят операции:
* <tex>R_1 \cup R_2</tex> {{---}} объединение;
* <tex>R_1 \cap R_2</tex> {{---}} пересечение;
* <tex>R_1 \setminus R_2</tex> {{---}} разность.
Эти операции по определению применимы только к отношениям с одинаковыми заголовками. В результате получается отношение с таким же заголовком и телом, полученным в соответствии с множественной операцией.

== Примеры ==

* <tex>R_1 \cup R_2</tex>
[[Файл:Set_Union_2.png]]

* <tex>R_1 \cap R_2</tex>
[[Файл:Set_Intersect_2.png]]

* <tex>R_1 \setminus R_2</tex>
[[Файл:Set_Minus_2.png]]

Файл:Set Minus 2.png

2021-12-14T12:33:34Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(33)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(33)

Файл:Set Union 2.png

2021-12-14T12:33:16Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(29)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(29)

Файл:Set Intersect 2.png

2021-12-14T12:32:57Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(31)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(31)

Реляционная алгебра: унарные операции

2021-12-14T12:31:33Z

Dzhiblavi: Исправлена фактическая ошибка.

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

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

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

Пояснение к определению:

[[Файл: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> {{---}} изменение имени атрибута. 
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названий <tex>OldName_i</tex> на <tex>NewName_i</tex>. 
'''Тело''': такое же, как в <tex>A</tex>, название атрибутов <tex>OldName_i</tex> заменено на <tex>NewName_i</tex>.
}}

'''Примеры'''
* <tex>\rho_{Name=FirstName, Surname=LastName}</tex>
[[Файл:Primitive_Rename_2.png]]

Реляционная алгебра: унарные операции

2021-12-14T12:30:09Z

Dzhiblavi: Добавлены недостающие иллюстрации и примеры.

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

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

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

Пояснение к определению:

[[Файл: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> {{---}} изменение имени атрибута. 
'''Заголовок''' результирующего отношения равен заголовку исходного с точностью до изменения названия <tex>OldName_i</tex> на <tex>NewName_i</tex>. 
'''Тело''': такое же, как в <tex>A</tex>, название одного атрибута изменено.
}}

'''Примеры'''
* <tex>\rho_{Name=FirstName, Surname=LastName}</tex>
[[Файл:Primitive_Rename_2.png]]

Файл:Primitive Rename 2.png

2021-12-14T12:29:41Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(25)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(25)

Файл:Primitive Section 4.png

2021-12-14T12:25:20Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(21)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(21)

Файл:Primitive Section 3.png

2021-12-14T12:25:02Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(19)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(19)

Файл:Primitive Section 2.png

2021-12-14T12:24:44Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(17)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(17)

Файл:Primitive Section 0.png

2021-12-14T12:24:30Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(15)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(15)

Файл:Primitive Projection 3.png

2021-12-14T12:22:23Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(13)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(13)

Файл:Primitive Projection 2.png

2021-12-14T12:22:03Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(11)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(11)

Файл:Primitive Projection 0.png

2021-12-14T12:16:05Z

Dzhiblavi: http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(9)

http://www.kgeorgiy.info//courses/dbms/slides/relalgebra.xhtml#(9)

Реляционная алгебра: операции над множествами

2021-12-13T21:39:04Z

Dzhiblavi: Создание страницы.

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

== Простые операции ==

Из теории множеств а реляционную алгебру естественным образом переходят операции:
* <tex>R_1 \cup R_2</tex> {{---}} объединение;
* <tex>R_1 \cap R_2</tex> {{---}} пересечение;
* <tex>R_1 \setminus R_2</tex> {{---}} разность.
Эти операции по определению применимы только к отношениям с одинаковыми заголовками. В результате получается отношение с таким же заголовком и телом, полученным в соответствии с множественной операцией.

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

Реляционная алгебра: унарные операции

2021-12-13T21:35:27Z

Dzhiblavi:

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

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

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

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

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

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

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

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

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

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

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

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

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

Реляционная алгебра

2021-12-13T21:34:59Z

Dzhiblavi: Создание страницы.

==Запросы. Мотивация==

Базы данных подразумевают не только хранение данных, но и запросы, позволяющие эти данные так или иначе получать. Как минимум, запросы нужны для следующих действий:
* Выборка данных: достаем данные из БД, чтобы их как-то использовать уже извне;
* Область действия обновлений: часто в запросах обовления (например, UPDATE, DELETE) необходимо указывать область данных, на которые этот запрос распостраняется;
* Ограничения целостности: до сих пор было только два вида ограничений (ключи и внешние ключи). Использование запросов позволит расширить инструментарий;
* Ограничения доступа.

== Реляционная алгебра ==

В рамках курса рассматривается несколько подходов к описанию запросов. Один из них {{---}} реляционная алгебра.
{{Определение
|definition=
'''Реляционная алгебра''' {{---}} императивный язык для работы с отношениями. Носитель в терминах алгебры над отношениями {{---}} множество всех отношений. Далее будут определены операции, замкнутые над носителем, и ограничения, им соответствующие.
}}

== Примеры операций ==

* Проекция: <tex>\pi_A(R)</tex>;
* Естественное соединение: <tex>R_1 \bowtie R_2</tex>.

'''Замечание'''. Поскольку все операции в алгебре замкнуты по определению, можно комбинировать применения тех или иных операций любым разумным способом. Например: <tex>\pi_A(R_1 \bowtie \pi_B(R_2)) \bowtie R_3</tex>.

== Отношения и операции ==

Для определения операций будет полезным уточнить, что такое отношение.
{{Определение
|definition=
'''Отношение''' {{---}} пара из заголовка и тела.
}}

{{Определение
|definition=
'''Операция''' {{---}} правило построения заголовка и тела по заданным отношениям, а так же набор условий, при которых операция применима.
}}

Базы данных

2021-12-13T21:34:48Z

Dzhiblavi: /* Ответник */ Исправлено название страницы в соответствии с разделом презентации.

http://www.kgeorgiy.info/courses/dbms/index.html

==Ответник==

# [[Развитие баз данных]]
# [[Архитектура современной СУБД]]
# [[Физическая модель базы данных]]
# [[Модель сущность-связь]]
# [[Преобразование модели сущность-связь в физическую модель]]
# [[Реляционная модель данных. Ключи]]
# [[Функциональные зависимости: замыкание, эквивалентность и правила вывода]]
# [[Функциональные зависимости: замыкание атрибутов, неприводимые множества функциональных зависимостей, их построение]]
# [[Цели и средства нормализации]]
# [[Нормальные формы: первая и вторая]]
# [[Нормальные формы: третья и Бойса-Кодда]]
# [[Многозначные зависимости и четвертая нормальная форма]]
# [[Зависимости соединения и пятая нормальная форма]]
# [[Процесс нормализации и другие нормальные формы]]
# [[Реляционная алгебра]]
# [[Реляционная алгебра: унарные операции]]
# [[Реляционная алгебра: операции над множествами]]
# [[Реляционная алгебра: соединения]]
# [[Реляционная алгебра: деление и операции над данными]]
# [[Исчисление кортежей и его реляционная полнота]]
# [[Исчисление доменов и его реляционная полнота]]
# [[Datalog и рекурсия]]
# [[Целостность данных. Триггеры]]
# [[Представления и их обновление]]
# [[Управление доступом к данным]]
# [[Подсистема хранения данных]]
# [[Индексация данных. Упорядоченные и хеш-индексы]]
# [[Индексация данных. Другие типы индексов. Применение индексов]]
# [[Хранимые процедуры и функции. Сходства и различия]]
# [[Императивное подмножество SQL]]
# [[Data Control Language]]
# [[Курсоры]]
# [[Хранимые функции]]
# [[Транзакции. Восстановление. Классический алгоритм]]
# [[Транзакции. Восстановление. Алгоритм ARIES]]
# [[Транзакции. Параллельное исполнение. Блокировки]]
# [[Транзакции. Параллельное исполнение. Уровни изоляции]]
# [[Этапы обработки запроса. Перезапись запросов]]
# [[Оптимизация запросов. Выбор структуры исполнения запроса]]
# [[Оптимизация запросов. Выбор методов исполнения запроса]]
# [[Оптимизация запросов. Оценка размера и распределения]]
# [[Секционирование]]
# [[Репликация]]
# [[Распределенные транзакции]]
# [[Распределенные базы данных. Цели и проблемы]]
# [[Иерархические данные. Модель близости]]
# [[Иерархические данные. Вложенные множества]]
# [[Иерархические данные. Модель путей]]
# [[Временны́е данные. Полутемпоральные базы данных]]
# [[Временны́е данные. Модель интервалов]]
# [[Временны́е данные. Модель событий]]
# [[ORM. Ключи и ссылки]]
# [[ORM. Наследование]]
# [[ORM. Модель сущность-атрибут-значение]]

=== [[Практические навыки по Базам данных|Практические навыки]] ===

Используем категорию <nowiki>[[Категория: Базы данных]]</nowiki>

[[Категория: Базы данных]]

Базы данных

2021-12-13T21:34:08Z

Dzhiblavi: Отмена правки 81335, сделанной Dzhiblavi (обсуждение)

http://www.kgeorgiy.info/courses/dbms/index.html

==Ответник==

# [[Развитие баз данных]]
# [[Архитектура современной СУБД]]
# [[Физическая модель базы данных]]
# [[Модель сущность-связь]]
# [[Преобразование модели сущность-связь в физическую модель]]
# [[Реляционная модель данных. Ключи]]
# [[Функциональные зависимости: замыкание, эквивалентность и правила вывода]]
# [[Функциональные зависимости: замыкание атрибутов, неприводимые множества функциональных зависимостей, их построение]]
# [[Цели и средства нормализации]]
# [[Нормальные формы: первая и вторая]]
# [[Нормальные формы: третья и Бойса-Кодда]]
# [[Многозначные зависимости и четвертая нормальная форма]]
# [[Зависимости соединения и пятая нормальная форма]]
# [[Процесс нормализации и другие нормальные формы]]
# [[Реляционная алгебра: предназначение и свойства]]
# [[Реляционная алгебра: унарные операции]]
# [[Реляционная алгебра: операции над множествами]]
# [[Реляционная алгебра: соединения]]
# [[Реляционная алгебра: деление и операции над данными]]
# [[Исчисление кортежей и его реляционная полнота]]
# [[Исчисление доменов и его реляционная полнота]]
# [[Datalog и рекурсия]]
# [[Целостность данных. Триггеры]]
# [[Представления и их обновление]]
# [[Управление доступом к данным]]
# [[Подсистема хранения данных]]
# [[Индексация данных. Упорядоченные и хеш-индексы]]
# [[Индексация данных. Другие типы индексов. Применение индексов]]
# [[Хранимые процедуры и функции. Сходства и различия]]
# [[Императивное подмножество SQL]]
# [[Data Control Language]]
# [[Курсоры]]
# [[Хранимые функции]]
# [[Транзакции. Восстановление. Классический алгоритм]]
# [[Транзакции. Восстановление. Алгоритм ARIES]]
# [[Транзакции. Параллельное исполнение. Блокировки]]
# [[Транзакции. Параллельное исполнение. Уровни изоляции]]
# [[Этапы обработки запроса. Перезапись запросов]]
# [[Оптимизация запросов. Выбор структуры исполнения запроса]]
# [[Оптимизация запросов. Выбор методов исполнения запроса]]
# [[Оптимизация запросов. Оценка размера и распределения]]
# [[Секционирование]]
# [[Репликация]]
# [[Распределенные транзакции]]
# [[Распределенные базы данных. Цели и проблемы]]
# [[Иерархические данные. Модель близости]]
# [[Иерархические данные. Вложенные множества]]
# [[Иерархические данные. Модель путей]]
# [[Временны́е данные. Полутемпоральные базы данных]]
# [[Временны́е данные. Модель интервалов]]
# [[Временны́е данные. Модель событий]]
# [[ORM. Ключи и ссылки]]
# [[ORM. Наследование]]
# [[ORM. Модель сущность-атрибут-значение]]

=== [[Практические навыки по Базам данных|Практические навыки]] ===

Используем категорию <nowiki>[[Категория: Базы данных]]</nowiki>

[[Категория: Базы данных]]

Базы данных

2021-12-13T21:33:31Z

Dzhiblavi: /* Ответник */ Исправлено название страницы в соответствии с разделом презентации.

Реляционная алгебра: унарные операции

2021-12-13T21:30:13Z

Dzhiblavi: Создание страницы. Промежуточная версия.

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

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

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

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

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

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

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

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

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

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

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

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

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

Реляционная алгебра: предназначение и свойства

2021-12-13T20:57:16Z

Dzhiblavi: Создание страницы.

Базы данных

2021-12-13T20:34:18Z

Dzhiblavi: /* Ответник */

http://www.kgeorgiy.info/courses/dbms/index.html

==Ответник==

# [[Развитие баз данных]]
# [[Архитектура современной СУБД]]
# [[Физическая модель базы данных]]
# [[Модель сущность-связь]]
# [[Преобразование модели сущность-связь в физическую модель]]
# [[Реляционная модель данных. Ключи]]
# [[Функциональные зависимости: замыкание, эквивалентность и правила вывода]]
# [[Функциональные зависимости: замыкание атрибутов, неприводимые множества функциональных зависимостей, их построение]]
# [[Цели и средства нормализации]]
# [[Нормальные формы: первая и вторая]]
# [[Нормальные формы: третья и Бойса-Кодда]]
# [[Многозначные зависимости и четвертая нормальная форма]]
# [[Зависимости соединения и пятая нормальная форма]]
# [[Процесс нормализации и другие нормальные формы]]
# [[Реляционная алгебра: предназначение и свойства]]
# [[Реляционная алгебра: унарные операции]]
# [[Реляционная алгебра: операции над множествами]]
# [[Реляционная алгебра: соединения]]
# [[Реляционная алгебра: деление и операции над данными]]
# [[Исчисление кортежей и его реляционная полнота]]
# [[Исчисление доменов и его реляционная полнота]]
# [[Datalog и рекурсия]]
# [[Целостность данных. Триггеры]]
# [[Представления и их обновление]]
# [[Управление доступом к данным]]
# [[Подсистема хранения данных]]
# [[Индексация данных. Упорядоченные и хеш-индексы]]
# [[Индексация данных. Другие типы индексов. Применение индексов]]
# [[Хранимые процедуры и функции. Сходства и различия]]
# [[Императивное подмножество SQL]]
# [[Data Control Language]]
# [[Курсоры]]
# [[Хранимые функции]]
# [[Транзакции. Восстановление. Классический алгоритм]]
# [[Транзакции. Восстановление. Алгоритм ARIES]]
# [[Транзакции. Параллельное исполнение. Блокировки]]
# [[Транзакции. Параллельное исполнение. Уровни изоляции]]
# [[Этапы обработки запроса. Перезапись запросов]]
# [[Оптимизация запросов. Выбор структуры исполнения запроса]]
# [[Оптимизация запросов. Выбор методов исполнения запроса]]
# [[Оптимизация запросов. Оценка размера и распределения]]
# [[Секционирование]]
# [[Репликация]]
# [[Распределенные транзакции]]
# [[Распределенные базы данных. Цели и проблемы]]
# [[Иерархические данные. Модель близости]]
# [[Иерархические данные. Вложенные множества]]
# [[Иерархические данные. Модель путей]]
# [[Временны́е данные. Полутемпоральные базы данных]]
# [[Временны́е данные. Модель интервалов]]
# [[Временны́е данные. Модель событий]]
# [[ORM. Ключи и ссылки]]
# [[ORM. Наследование]]
# [[ORM. Модель сущность-атрибут-значение]]

=== [[Практические навыки по Базам данных|Практические навыки]] ===

Используем категорию <nowiki>[[Категория: Базы данных]]</nowiki>

[[Категория: Базы данных]]