Zwei Operationen heißen in der Informatik im Zusammenhang mit Transaktionssystemen konfliktär, wenn die Reihenfolge ihrer Ausführung nicht vertauscht werden kann, ohne dass sich das Ergebnis der Operationen verändert. Man sagt auch, die Operationen stehen im Konflikt, kommutieren nicht oder sind unverträglich und nennt die Operationen Konfliktoperationen.
Im Lese-Schreib-Modell sind zwei Operationen konfliktär, wenn beide aufs gleiche Datenelement zugreifen und mindestens eine der beiden ein Schreibzugriff ist.
Anschauliches Beispiel Bearbeiten
Zur Verdeutlichung des Begriffs soll folgendes Beispiel dienen:
Formale Darstellung und Ordnung von Konfliktoperationen Bearbeiten
Die Notation entspricht dem durchgestrichenen mathematischen Symbol für „kommutiert“:
Um Konfliktoperationen formal anzuordnen, werden Halbordnungen verwendet. Daraus ergibt sich, dass eine sinnvolle Reihenfolge konfliktärer Operationen mit Hilfe der topologischen Sortierung gewonnen werden kann.