Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

Transactions - NDBI016

Title:	Transakce
Guaranteed by:	Department of Software Engineering (32-KSI)
Faculty:	Faculty of Mathematics and Physics
Actual:	from 2023 to 2023
Semester:	summer
E-Credits:	3
Hours per week, examination:	summer s.:2/0, Ex [HT]
Capacity:	unlimited
Min. number of students:	unlimited
4EU+:	no
Virtual mobility / capacity:	no
State of the course:	taught
Language:	Czech
Teaching methods:	full-time
Teaching methods:	full-time
Additional information:	http://siret.ms.mff.cuni.cz/lokoc/?src=UK/index

Guarantor:	doc. RNDr. Jakub Lokoč, Ph.D.
Class:	Informatika Mgr. - Softwarové systémy
Classification:	Informatics > Database Systems

Opinion survey results Examination dates SS schedule Noticeboard

Annotation -

Last update: TUMA (28.04.2005)

Transactions course for advanced students. Provides detailed information about transactions as a basic mechanism for achieving data stability. Explains the properties of transactions and the structure and implementation of transactional systems.

Course completion requirements -

Last update: RNDr. Michal Kopecký, Ph.D. (04.10.2017)

A condition for the successful passing the course is preparation of a minor project, which will be assigned in one of the first lectures and the oral exam.

Literature - Czech

Last update: TUMA (28.04.2005)

Bernstein P. A., Hadzilacos V., Goodman N.: Concurrency Control and Recovery in Database Systems, http://research.microsoft.com/pubs/ccontrol

Gray J., Reuter A.: Transaction Processing, Concepts And Techniques, Morgan Kaufmann Publishers, 1994

Moss J. E. B.: Nested Transactions, An Approach to Reliable Distributed Computing, MIT Press 1985

CORBAservices Specification, Object Transaction Service, OMG document ORBOS/97-3-4, ftp://ftp.omg.org, 1994-1997

Syllabus -

Last update: T_KSI (13.05.2012)

Motivation for introducing transactions (reliability, parallelism)

definition and measurement of reliability, reliable system construction methods (error avoidance and masking)

rehearsal of parallelism related issues, goals (simplicity, parallelism, composability)

Basic transaction properties

atomicity, consistency, isolation, durability

transaction models, flat, chained, nested

long running transaction models

model formalisms

Basic features of transactional systems

types of transactional systems (databases, distributed transactions, coordination frameworks, transactional memory)

features of transactional systems, examples of interfaces and their usage

Parallel execution

formal model of parallel execution, schedules and their properties

lock based scheduling, implementation

timestamp based scheduling, implementation

serialization graph based scheduling, implementation

certifying schedulers

integrated schedulers

versioning schedulers

Atomic termination

two phase commit protocol

three phase commit protocol

reliable storage and logging