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

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 Вопросы