Transakce

Sylabus

Motivace pro zavedení transakcí (spolehlivost, paralelismus)

- definice a měření spolehlivosti, přehled metod zvyšování spolehlivosti (předcházení a maskování chyb)

- připomenutí problémů souvisejících s paralelismem, cíle (jednoduchost, paralelismus, možnost kompozice)

Základní vlastnosti transakcí

- atomicity, consistency, isolation, durability

- modely transakcí, prosté, zřetězené, vnořené

- modely pro dlouho trvající transakce

- formální popisy modelů

Základní funkce transakčních systémů

- různé varianty transakčních systémů (databáze, distribuované transakce, koordinační frameworky, transakční paměť)

- funkce nabízené transakčními systémy, orientační příklady rozhraní a jejich použití

Paralelní běh transakcí

- formalizace paralelního běhu, rozvrhy a jejich vlastnosti

- plánování pomocí zamykání a jeho implementace

- plánování pomocí časových razítek a jeho implementace

- plánování pomocí serializačních grafů a jeho implementce

- certifikující plánovače

- integrované plánovače

- verzující plánovače

Atomické ukončení transakcí

- dvoufázový commit protokol

- třífázový commit protokol

- spolehlivé logování

Anotace

Kurz o transakcích pro pokročilé studenty. Poskytuje detailní informace o transakcích jako základním mechanismu pro zajištění stability dat. Seznámí s vlastnostmi transakcí a strukturou a implementací transakčních systémů. Předmět je vyučován v anglickém jazyce.

Předpokládají se znalosti v rozsahu bakalářského kursu NDBI025 Databázové systémy.