В этом видео обсуждаются такие концепции сериализуемости, как сериализуемость конфликтов и сериализуемость представлений. Сериализуемость используется для определения того, является ли заданное несериализуемое расписание сериализуемым или нет.
Сериализуемость конфликтов используется для проверки того, является ли заданное несериализуемое расписание сериализуемым при конфликтах.
Он выполняет этот процесс, преобразуя заданное непоследовательное расписание в последовательное, меняя местами его неконфликтующие операции.
Если выполняются две транзакции
Операции выполняются над разными элементами данных – Неконфликтующие операции
Операции выполняются над одним и тем же элементом данных (Конфликт/Неконфликтные операции – 4 случая)
T1 T2
read(Q) read(Q) – Неконфликт
read(Q) write(Q) – Конфликт
write(Q) read(Q) – Конфликт
write(Q) write(Q) – Конфликт
Сериализуемость представлений – это процесс определения, является ли заданное расписание сериализуемым представлением или нет.
Если расписание эквивалентно представлению своему последовательному расписанию, то оно реализуемо представлением.
Эквивалентные представления
Два расписания, S1 (непоследовательное) и S2 (последовательное), считаются эквивалентными представлениями, если они удовлетворяют всем следующим условиям:
т.е. если в обоих расписаниях S1 и S2 транзакции, выполняющие
начальное чтение, окончательную запись и
обновление чтения
для каждого элемента данных, одинаковы.
На этом канале представлены видео по следующим темам:
РАЗДЕЛ I
Применение систем баз данных: историческая перспектива, файловые системы и СУБД, модель данных, уровни абстракции в СУБД, независимость данных, структура СУБД
Введение в проектирование баз данных: проектирование баз данных и ER-диаграммы, сущности, атрибуты и наборы сущностей, связи и наборы связей, дополнительные возможности ER-модели, концептуальное проектирование с использованием ER-модели
РАЗДЕЛ II
Введение в реляционную модель: ограничение целостности для отношений, обеспечение ограничений целостности, запросы к реляционным данным, логическое проектирование баз данных, введение в представления, удаление/изменение таблиц и представлений.
Реляционная алгебра, реляционное исчисление кортежей, реляционное исчисление доменов.
БЛОК III
SQL: ЗАПРОСЫ, ОГРАНИЧЕНИЯ, ТРИГГЕРЫ: форма базового SQL-запроса, UNION, INTERSECT и EXCEPT, вложенные запросы, операторы агрегации, значения NULL, сложные ограничения целостности в SQL, триггеры и активные базы данных.
Уточнение схемы: проблемы, вызванные избыточностью, декомпозиции, проблемы, связанные с декомпозицией, рассуждения о функциональных зависимостях, нормальные формы FIRST, SECOND, THIRD, BCNF, декомпозиция без потерь в соединениях, многозначные зависимости, нормальная форма FOURTH, нормальная форма FIFTH.
БЛОК IV
Концепция транзакции, состояние транзакции, реализация атомарности и устойчивости, параллельное выполнение, сериализуемость, восстанавливаемость, реализация изоляции, тестирование на сериализуемость, протоколы на основе блокировок, протоколы на основе временных меток, протоколы на основе валидации, множественная гранулярность, восстановление и атомарность, восстановление на основе журналов, восстановление с параллельными транзакциями.
РАЗДЕЛ V
Данные о внешнем хранилище, Организация и индексирование файлов, Кластерные индексы, Первичные и вторичные индексы, Структуры данных индексов, Индексирование на основе хэшей, Древовидная индексация, Сравнение организации файлов, Индексы и настройка производительности, Интуитивные основы древовидных индексов, Индексированные последовательные методы доступа (ISAM), Деревья B+: Динамическая структура индекса.
Информация по комментариям в разработке