Что такое ACID и как тестировать соблюдение этих свойств?

ACID — Atomicity (транзакция целиком или никак), Consistency (база переходит из одного корректного состояния в другое), Isolation (транзакции не видят незакоммиченные изменения друг друга), Durability (закоммиченные данные сохраняются). Тестируем Atomicity: прерываем транзакцию в середине — откатились ли все изменения? Isolation: два одновременных запроса на один ресурс — race condition? Consistency: проверяем constraints (FK, unique) после операции. Durability: перезапустили БД — данные на месте?