Базы данных. Реляционное исчисление

0:00 - Начало лекции. Реляционное исчисление 2:53 - Исчисление Кортежей 8:27 - Связь алгебры и исчисления 10:45 - Исчисление через алгебру 12:26 - Применение кванторов 15:01 - Пример кванторов 16:58 - Реляционная полнота 18:25 - Исчисление доменов 24:20 - Язык Datalog. Атомы. Определение отношения 26:53 - Примеры. Ограничение отношений 31:32 - Алгебра на Datalog 35:04 - Примеры 38:12 - Рекурсивные запросы 41:33 - Алгоритм поиска 43:48 - Реляционное исчисление и SQL 45:46 - Подзапросы существования 46:57 - Подзапросы вхождения 49:45 - Условные подзапросы 52:00 - Скалярные подзапросы 54:49 - Кореллированные подзапросы 57:35 - Рекурсия 1:02:29 - Вопросы 1:05:54 - Литература