00:00 - Начало. Реляционная модель 01:34 - Как соотносятся реаляционные и математические отношения? 02:54 - Как соотносятся отношения и таблицы? 05:10 - Определение ключа с прошлой лекции. Надключ. 07:27 - Поиск надключей на примере 11:48 - Выбор ключей 13:13 - Функциональная зависимость (ФЗ) 15:08 - Примеры ФЗ 18:30 - Тривиальные ФЗ, определение и ограничения 22:17 - Пример минимизации ФЗ 24:00 - Правила вывода ФЗ. Правило Армстронга 26:25 - Дополнительные правила 29:43 - Пример вывода ФЗ 32:00 - Замыкания множества ФЗ 33:25 - Эквивалентные множества ФЗ 35:05 - Мощность замыкания 37:55 - Замыкание аттрибутов 40:00 - Алгоритм вычисления множества аттрибутов, ФЗ от Х 44:13 - Время работы алгоритма 49:35 - Пример вычисления множества аттрибутов ФЗ от Х 52:15 - Как эффективно проверять эквивалентность множеств ФЗ? 57:21 - X надключ ⇔ X+ 59:15 - Неприводимые множества ФЗ 1:01:11 - Пример построения НМФЗ 1:02:14 - Теорема о существовании НМФЗ 1:05:05 - Вычисление НМФЗ. 1 и 2 этапы. 1:07:49 - Вычисление НМФЗ. 3 этап. 1:13:55 - Вопросы из зала 1:15:40 - Литература и вопросы 1:16:55 - Домашнее задание
