Введение в БД. Реляционное исчисление

00:00 Начало стрима 01:17 Вступление 01:57 Реляционное исчисление. Определение, виды 02:36 Структура запроса 03:03 Разница между реляционным исчислением и алгеброй 04:15 Исчисление кортежей. Переменные-кортежи 05:13 Исчисление кортежей. Операции с отношениями 05:47 Исчисление кортежей. Условия 08:15 Исчисление кортежей. Примеры 09:47 Исчисление кортежей. Связь алгебры и исчисления 10:03 Исчисление кортежей. Алгебра через исчисление 12:07 Исчисление кортежей. Исчисление через алгебру 15:04 Исчисление кортежей. Исчисление через алгебру. Применение кванторов 15:51 Исчисление кортежей. Исчисление через алгебру. Пример преобразования 17:51 Исчисление кортежей. Реляционная полнота 18:41 Исчисление доменов. Переменные-значения 19:06 Исчисление доменов. Условие принадлежности 20:11 Исчисление доменов. Примеры 22:29 Исчисление доменов. Алгебра через исчисление, реляционная полнота 25:53 Datalog 26:21 Datalog. Атомы 27:13 Datalog. Отношения, примеры отношений, ограничение отношений 32:46 Datalog. Алгебра на Datalog, примеры 36:31 Datalog. Рекурсивные запросы 42:11 Реляционное исчисление и SQL. Заголовок запроса, from, where, кванторы 44:09 Реляционное исчисление и SQL. Подзапросы существования и вхождения 45:46 Реляционное исчисление и SQL. Условные подзапросы 47:23 Реляционное исчисление и SQL. Скалярные подзапросы 48:32 Реляционное исчисление и SQL. Кореллированные подзапросы 50:58 Реляционное исчисление и SQL. Рекурсия 52:43 Ответы на вопросы