Redigerer Serialiserbarhet (avsnitt)

==Teori==
Man opererer med to former for serialiserbarhet: viewserialiserbar og konfliktserialiserbar.

'''Viewserialiserbarhet''' innebærer at alle transaksjoner leser og skriver samme data som i en seriell utførelse. Å håndheve viewserialiserbarhet er et NP-komplett problem, det vil si at for større datamengder er det ikke mulig med en eksisterende [[algoritme]].

Man opererer derfor med '''konfliktserialiserbarhet'''. En eksekveringsplan (S<sub>1</sub>) er konfliktserialiserbar hvis den er konfliktekvivalent med en seriell eksekveringsplan (S<sub>2</sub>). Konfliktekvivalent betyr at S<sub>1</sub> kan omdannes til S<sub>2 </sub> ved å bytte om plassene på operasjoner som ikke er i konflikt med hverandre. To operasjoner er i konflikt med hverandre hvis de behandler samme data og minst en av dem er en skriveoperasjon.

En konfliktersialiserbar eksekveringsplan er alltid viewserialiserbar, men det finnes viewserialiserbare eksekveringplaner som ikke er konfliktserialiserbare. Ulikeheten på de to formene for serialiserbarhet kommer frem når en operasjon skriver i et attributt uten å lese det først. Hvis dette skjer spiller det ingen rolle om attributtet har blitt endret siden transaksjonen startet, dette tas ikke høyde for i konfliktserialiserbarhet. Hvis man legger inn et krav om at alle operasjoner skal lese enhver verdi som de skriver på, blir de to begrepene ekvivalente.