In der Informatik wird eine Transaktion als eine Abfolge von Programmschritten definiert, die als logische Einheit betrachtet werden, weil sie den Datenbestand nach fehlerfreier und vollständiger Ausführung in einem konsistenten Zustand hinterlassen. Aus diesem Grund muss eine Transaktion entweder vollständig und fehlerfrei oder gar nicht ausgeführt werden.