Atomicity - Атомарность

Атомарность гарантирует, что никакая транзакция не будет зафиксирована в системе частично, т.е. если транзакцию не удаётся полностью завершить, результаты всех её до сих пор произведённых действий будут отменены и система вернётся в исходное состояние.

Consistency - Согласованность

Система находится в согласованном состоянии до начала транзакции и должна остаться в согласованном состоянии после завершения транзакции, но в ходе выполнения транзакции согласованность не требуется

Isolation - Изоляция

Во время выполнения транзакции другие процессы не должны видеть данные в промежуточном состоянии

Durability - Долговечность

Изменения, сделанные успешно завершённой транзакцией, должны остаться сохранёнными после возвращения системы в работу.

Сериализации транзакций

Под сериализацией параллельно выполняющихся транзакций понимается такой порядок планирования их работы, при котором суммарный эффект смеси транзакций эквивалентен эффекту их некоторого последовательного выполнения.

Сериальный план выполнения смеси транзакций - это такой план, который приводит к сериализации транзакций. Понятно, что если удается добиться действительно сериального выполнения смеси транзакций, то для каждого пользователя, по инициативе которого образована транзакция, присутствие других транзакций будет незаметно.