# ACID

> A conceptual representation of the four guarantees of a database transaction: atomicity, consistency, isolation and durability.

Record: `architecture:acid`
Kind: model
Layer: [Atomic Boundary](https://banes-lab.com/records/layer/atomic-boundary.md)
Severity: contextual
Scope: database, transaction
Aliases: Atomicity, Consistency, Isolation, Durability
Canonical: https://banes-lab.com/ontology#architecture-acid

Listed in [Architecture principles](https://banes-lab.com/api/records/architecture.md), after [Atomicity](https://banes-lab.com/records/architecture/atomicity.md) and before [Transaction Boundary](https://banes-lab.com/records/architecture/transaction-boundary.md).

## Repair

- Refactored by: Define Transaction Boundary, Add Constraints
- Detected by: non-transactional multi-write invariants
- Violated by: inconsistent transactional boundaries
- Measured by: transactional invariant defects
- Enforced by: DB transactions, isolation tests

## Requires

- [Atomicity](https://banes-lab.com/records/architecture/atomicity.md)
- [Consistency](https://banes-lab.com/records/architecture/consistency.md)
- [Isolation](https://banes-lab.com/records/architecture/isolation.md)
- [Durability](https://banes-lab.com/records/lexicon/durability.md)

## Reinforces

- [Correctness](https://banes-lab.com/records/architecture/correctness.md)

## Enables

- [Strong Transactional Guarantees](https://banes-lab.com/records/lexicon/strong-transactional-guarantees.md)

## In tension with

- [Distributed Availability](https://banes-lab.com/records/lexicon/distributed-availability.md)
- [BASE/Eventual Consistency](https://banes-lab.com/records/lexicon/base-eventual-consistency.md)

## Tensions

- [ACID / Distributed Availability](https://banes-lab.com/records/tension/acid-distributed-availability.md)
- [ACID / BASE/Eventual Consistency](https://banes-lab.com/records/tension/acid-base-eventual-consistency.md)

## Severity

- [contextual](https://banes-lab.com/records/vocabulary/severity-contextual.md)

## Category

- [Transactions / State / Concurrency](https://banes-lab.com/records/architecture-category/transactions-state-concurrency.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)
- [Transactions / State / Concurrency](https://banes-lab.com/ontology/principles/architecture-category-transactions-state-concurrency.md)
- [Transactions / State / Concurrency](https://banes-lab.com/ontology/lexicon/lexicon-category-transactions-state-concurrency.md)
- [Severity levels](https://banes-lab.com/ontology/schema/the-vocabulary-severity.md)
- [The resolutions](https://banes-lab.com/ontology/schema/the-resolutions.md)