SubjectsSubjects(version: 916)
Course, academic year 2022/2023
   Login via CAS
Transactions - NDBI016
Title: Transakce
Guaranteed by: Department of Software Engineering (32-KSI)
Faculty: Faculty of Mathematics and Physics
Actual: from 2012
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:2/0, Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
Virtual mobility / capacity: no
State of the course: taught
Language: Czech
Teaching methods: full-time
Additional information:
Guarantor: doc. RNDr. Jakub Lokoč, Ph.D.
Class: Informatika Mgr. - Softwarové systémy
Classification: Informatics > Database Systems
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,

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,, 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

Charles University | Information system of Charles University |