Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.
Argomenti del programma: Transactional Systems. Why transactional systems are relevant. Notion of transaction. ACID properties: atomicity, consistency, isolation, durability. Concurrency control theory. Histories (or schedules), serializability, various notions of equivalence, complexity of testing. View-serializability, conflict-serializability. Two-phase locking. Hierarchical locking. Deadlock analysis and resolution.