Transactions - NDBI016
Title: Transakce
Guaranteed by: Department of Software Engineering (32-KSI)
Faculty: Faculty of Mathematics and Physics
Actual: from 2024
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: cancelled
Language: Czech
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   Schedule   Noticeboard   
Annotation -
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.
Last update: TUMA (28.04.2005)
Course completion requirements -

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.

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

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

Last update: TUMA (28.04.2005)
Syllabus -

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

Last update: T_KSI (13.05.2012)