3 Семестр
12 статей
От мифа к логосу. Поиск оснований
Первая лекция курса — как философия отделяется от мифа и обыденности через метапозицию, рефлексию, критику и системность. Архэ и бытие у досократиков, различие бытия и сущего, классическая теория истины как алетейи и её противопоставление корреспондентской теории.
Распределённая БД
Устройство распределённых баз данных и трёхзвенная архитектура из клиента, бэкенда и БД. Рассматриваются подходы к масштабированию и особенности работы с данными в распределённой среде.
Безопасная система
Понятие безопасной системы и модель CIA Triad — конфиденциальность, целостность и доступность. Разбираются угрозы и подходы к защите данных в СУБД.
Explain
Этапы выполнения SQL-запроса — от лексического и синтаксического разбора до плана выполнения. Разбирается команда EXPLAIN как инструмент анализа работы запроса.
Таблицы
Внутреннее устройство хранения данных на примере хеш-таблицы как движка с append-only логом. Показывается, как ключи отображаются на смещения в файле для быстрого доступа.
Транзакции
Транзакции и свойства ACID, которые гарантируют надёжность операций с базой данных. Разбираются атомарность, согласованность, изолированность и устойчивость на конкретных примерах.
Индексы
Индексы как способ ускорить поиск и выборку данных из таблиц. Рассматриваются их устройство и роль в поддержании ограничений целостности вроде UNIQUE и PRIMARY KEY.
Нормализация
Процесс нормализации базы данных для устранения избыточности и обеспечения целостности. Разбираются нормальные формы и аномалии, которые они устраняют.
Реляционная модель
Реляционная модель данных, её основы — реляционная алгебра и исчисление. Упоминается язык ISBL как один из первых, построенных на реляционной алгебре.
Атрибуты, ключи
Термины отношения, кортежа и атрибута, а также виды ключей в реляционных таблицах. Объясняется разница между первичным, потенциальным и внешним ключом.