Begreper & formler
Alle nøkkelbegrepene og formlene fra Del 2: Transaksjoner, isolasjon og serialiserbarhet, samlet på én side. Bruk denne som oppslag når du leser, øver flashcards eller tar quiz.
Begreper
Sentrale begreper fra kapittelet med korte definisjoner.
Atomicity, Consistency, Isolation og Durability: transaksjoners sentrale egenskaper.
En transaksjon leser data skrevet av en annen transaksjon som ennå ikke har committet.
En transaksjon overskriver data skrevet av en annen transaksjon som ennå ikke har committet.
Samme data leses to ganger i en transaksjon, men en annen transaksjon endrer verdien mellom lesningene.
En historie/liste av read, write, commit og abort for flere transaksjoner.
Transaksjoner committer først etter transaksjoner de har lest fra.
Rettet graf der sykluser viser at en schedule ikke er konfliktserialiserbar.
Formler
Hver formel: hva den heter, hvordan den ser ut, og hva symbolene betyr.