Адаптер объектов, использующий для каждого объекта один поток выполнения, может сериализовать весь доступ к каждому из объектов, которыми он управляет:
Две операции конфликтуют, если они работают с одним и тем же элементом данных, и как минимум одна из них - операция чтения:
Закрытое рабочее пространство транзакции содержит все файлы, к которым процесс должен получить доступ:
Индекс - блок данных, ассоциированных с каждым файлом и хранящий информацию о том, где на диске расположены его блоки:
Когда процесс начинает транзакцию, он получает закрытое рабочее пространство, содержащее все файлы, к которым ему необходимо получить доступ:
Когда хранилище данных строго непротиворечиво, все операции записи мгновенно замечаются всеми процессами и выдерживается абсолютный глобальный порядок по времени:
Модель строгой непротиворечивости определяется условием: всякое чтение элемента данных х возвращает значение, соответствующее результату последней записи х:
Объекты инкапсулируют данные и операции над ними:
При работе с отметками времени бывают взаимные блокировки:
Процесс, выполняющий операцию чтения элемента данных, ожидает, что операция вернет значение, соответствующее результату последней операции записи этих данных:
Распределенные транзакции - транзакции, которые логически разделяются на иерархически организованные дочерние транзакции:
Свойство непротиворечивости транзакции гарантирует, что всякая транзакция либо полностью выполняется, либо полностью не выполняется:
Согласно методу журнала с упреждающей записью файлы модифицируются там же, где находятся и в журнал заносится запись со сведениями о том, какая транзакция вносит изменения:
Строгая двухфазная блокировка может привести к тупикам:
Транзакция - последовательность операций над базой данных, рассматриваемых СУБД как единое целое: