数据库教学课件：Transaction Computing Model.pptVIP

1/12/2023Transactional Information Systems1-1Transactional Information Systems:Theory, Algorithms, and the Practice ofConcurrency Control and RecoveryGerhard Weikum and Gottfried Vossen“Teamwork is essential. It allows you to blame someone else.”(Anonymous)? 2002 Morgan KaufmannISBN 1-55860-508-8 1/12/2023Transactional Information Systems1-2Transaction Computing ModelBackground and Motivation 1 What Is It All About? 2 Computational Models 3 Correctness for the Page Model 1/12/2023Transactional Information Systems1-3Chapter 1: What Is It All About? 1.2 Application Examples 1.3 System Paradigms 1.4 Virtues of Transactions 1.5 Architecture of Database Servers“If I had had more time, I could written you a shorter letter”(Blaise Pascal) 1/12/2023Transactional Information Systems1-4Application Examples OLTP, e.g., funds transfer E-commerce, e.g., Internet book store Workflow, e.g., travel planning booking 1/12/2023Transactional Information Systems1-5OLTP Example: Debit/Creditvoid main ( ) { EXEC SQL BEGIN DECLARE SECTION int b /*balance*/, a /*accountid*/, amount; EXEC SQL END DECLARE SECTION; /* read user input */ scanf (“%d %d”, a, amount); /* read account balance */ EXEC SQL Select Balance into :b From Account Where Account_Id = :a;/* add amount (positive for debit, negative for credit) */ b = b + amount;/* write account balance back into database */ EXEC SQL Update Account Set Balance = :b Where Account_Id = :a; EXEC SQL Commit Work; } 1/12/2023Transactional Information Systems1-6OLTP Example 1.1: Concurrent Executions P1 Time P2Select Balance Into :b1 From Account 1Where Account_Id = :a /* b1=0, a.Balance=100, b2=0 */ Select Balance Into :b2 2 From Account Where Account_Id = :a /* b1=100, a.Balance=100, b2=100 */b1 = b1-50 3 /* b1=50, a.Balance=100, b2=100 */ 4 b2 = b2 +100 /* b1=50, a.Balance=100, b2=200 */Update AccountSet Balance = :b1 5 Where Account_Id = :a /* b1=5