Введение в БД. Реляционная модель и функциональные зависимости

0:00 Интро
0:26 Из чего состоит реляционная модель
1:54 Соотношение реляционных и математических отношений
4:17 Связь отношений с таблицами
6:32 Понятие надключа
10:32 Понятие ключа
12:57 СУБД и ключи
14:32 Зачем нужны функциональные зависимости(ФЗ)
15:18 Определение ФЗ
17:01 Примеры ФЗ
21:48 Тривиальные ФЗ
23:00 ФЗ как способ описания ограничений на хранимые данные
24:35 Пример минимизации ФЗ
26:44 Формализация правил вывода (правила Армстронга)
28:52 Доказательство правила дополнения
34:34 Дополнительные правила
36:02 Пример вывода ФЗ
39:34 Замыкание множества ФЗ
41:16 Эквивалентность множества ФЗ
43:00 Оценка мощности замыкания
46:15 Понятие замыкания множества атрибутов
50:26 Алгоритм вывода замыкания множества атрибутов
55:47 Пример вычисления замыкания множества атрибутов
57:00 Основное свойство замыкания множества атрибутов
1:06:38 Понятие неприводимых множеств ФЗ (НМФЗ)
01:07:31 Пример построения неприводимого множества
01:09:55 Теорема о существовании НМФЗ
1:10:36 Оценка вычисления НМФЗ
1:20:34 Выводы о НМФЗ
1:22:33 Литература по теме
1:23:46 Объявление домашнего задания
1:25:49 Вопросы