This flashcard is just one of a free flashcard set. See all flashcards!

Eine Historie ist eine zeitliche Anordnung der verzahnt ausgeführten Elementaroperationen von nebenläufig bearbeiteten Transaktion.

Eine Historie ist serialisierbar, wenn sie äquivalent zu einer seriellen Historie ist, aber parallel ausgeführt werden kann. Nur zwei Reads sind serialisierbar, alle anderen Konstellationen an Operationen sind Konfliktoperationen. Zwei Historien sind äquivalent, wenn sie die Konfliktoperationen der nicht abgebrochenen TAs in derselben Reihenfolge ausführen.

Historien haben einen Serialisierbarkeitsgraphen, bei dem Konfliktoperationen in unterschiedlichen TAs zu einer Kante von der TA führen, die die Operation zuerst ausgeführt hat, zur anderen TA. Ist dieser Graph azyklisch, ist die Historie serialisierbar.