ACIDgaranties

ACIDgaranties vormen een set van garanties voor transacties in database-systemen die betrouwbare en fouttolerante verwerking nastreven. ACID staat voor Atomiciteit, Consistentie, Isolatie en Duurzaamheid, en elke eigenschap zorgt ervoor dat transacties op een voorspelbare manier worden uitgevoerd, zelfs bij fouten of crashes.

Atomiciteit betekent dat alle operaties in een transactie als één geheel worden uitgevoerd. Als één deel faalt, worden alle wijzigingen ongedaan gemaakt en blijft de database in een toestand die ongewijzigd was voordat de transactie begon. Consistentie houdt in dat een transactie de database-invarianties en integriteitsregels waarborgt; na voltooiing moet de database in een geldige toestand verkeren. Isolatie zorgt ervoor dat gelijktijdig uitgevoerde transacties elkaar niet onbedoeld beïnvloeden; dit wordt doorgaans bereikt met locking of multiversion concurrency control. Duurzaamheid garandeert dat eenmaal gecommitteerde wijzigingen permanent zijn, zelfs bij systeemcrashes, meestal door gebruik te maken van persistentie zoals write-ahead logging en magazijn- of schijfopslag.

Implementaties van ACID gebruiken onder meer een transactiebeheerder, logbestanden en herstelprocedures. Veel relationele databases bieden volledige ACID-ondersteuning, inclusief robuuste transacties, commit-protocollen en crashherstel. In gedistribueerde systemen kunnen aanvullende mechanismen zoals two-phase commit nodig zijn om ACID over meerdere knooppunten af te dwingen.

Hoewel ACID de betrouwbaarheid bevordert, kan het kosten in prestaties en schaalbaarheid met zich meebrengen. Sommige systemen kiezen voor lichtere garanties (bijv. BASE) als extreem hoge schaalbaarheid en beschikbaarheid vereist zijn, wat leidt tot andere afwegingen rond data-consistentie.