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.