# DB2 - lesson 01
#### Paraboschi
##### 6 October 2015
## Transactional Systems
### Transaction Properties and Mechanisms
- ##### Atomicity
    - Abort-rollback-restart
    - Commit protocols
- ##### Consistency
    - Integrity checking of the DBMS
- ##### Isolation
    - Concurrency control
- ##### Durability
    - Recovery management

### Corresponding modules
- ##### Atomicity and Durability
    - Reliability Manager
- ##### Isolation
    - Concurrency Control System
- ##### Consistency
    - Integrity Control System at query execution time (with DDL Compilers support)