Begreper & formler
Alle nøkkelbegrepene og formlene fra Del 2: 2PL, MVCC og ARIES recovery, 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.
Delt lås som kan holdes av flere transaksjoner samtidig hvis ingen skriver.
Eksklusiv lås som hindrer andre reads og writes på samme element.
Skrivelåser holdes til commit/abort; leselåser kan slippes tidligere.
Transaksjoner leser et konsistent snapshot mens writes bruker låser til commit.
Write-ahead logging: logg må skrives før tilhørende datasider, og commit-logg må forces ved commit.
Dirty Page Table, med pageId og recLSN for første loggpost som gjorde siden dirty.
Compensating Log Record, logget undo-operasjon som kan redone, men ikke undone.
Formler
Hver formel: hva den heter, hvordan den ser ut, og hva symbolene betyr.