Redigerer Serialiserbarhet (avsnitt)

==Presedensgraf==
[[Fil:Precedence graph.svg|thumb|200px|right|Presedensgraf]]
En presedensgraf er et verktøy for å undersøke serialiserbarheten til en eksekveringsplan. Hvis en presedensgraf ikke har "løkker", eller sykler, er den konfliktserialiserbar. Hvis to eksekveringsplaner er konfliktekvivalente har de like presedensgrafer, men to eksekveringsplaner kan ha like presedensgrafer uten å være konfliktekvivalente.

Presedensgrafen har:
* En node for hver utførte transaksjon i eksekveringsplanen.
* En pil fra T<sub>i</sub> til T<sub>j</sub> hvis noe av det T<sub>i</sub> gjør skjer før og er i konflikt med noe av det T<sub>j</sub> gjør.

Sistnevnte gjelder hvis en av transaksjonene inneholder en skriveoperasjon.

:<math>S = \begin{bmatrix}
T1   & T2   & T3  \\
R(A) &      &     \\
     & W(A) &     \\
     & Com. &     \\
W(A) &      &     \\
Com. &      &     \\
     &      & W(A)\\
     &      & Com.\\
\end{bmatrix}</math>

R står for leseoperasjon, W står for skriveoperasjon. Her vises tre transaksjoner (T1 både leser og skriver). Siden det dannes en "løkke", eller en sykel, er denne eksekveringsplanen ikke konfliktserialiserbar. Årsaken til dette er at T2 skriver A etter at T1 har lest den, og deretter skriver T1 til A. Dette kan gi et annet resultat enn en seriell eksekvering.