Tính chất ACID của giao tác hiện đồng thời với nó... Ví dụ về tính chất ACID hiện hoặc không bước nào được thực hiện.. Ví dụ về tính chất ACID Atomicity Consistency... Ví dụ về tính chất
Trang 1
LOGO
Trang 2Nội dung trình bày
Trang 4Giới thiệu – Một số tình huống
Trang 5Giới thiệu – Một số tình huống
§
–
à
Trang 6Giới thiệu – Một số tình huống
§
–
à
Trang 7Giới thiệu – Một số tình huống
§
–
à
1. Đọc số dư của tài khoản A vào X
2. Cập nhật số dư mới của tài khoản A bằng X – Số tiền
Trang 8Giới thiệu – Một số tình huống
§
–
à
Trang 10Nội dung trình bày
Trang 12Tính chất ACID của giao tác
hiện đồng thời với nó.
–
sự cố có thể xảy ra
Trang 13Ví dụ về tính chất ACID
hiện hoặc không bước nào được thực hiện Nếu có sự cố bước 2 thì HQT CSDL có cơ chế khôi phục lại dữ liệu như lúc ban đầu.
Trang 14Ví dụ về tính chất ACID
Atomicity
Consistency
Trang 15Ví dụ về tính chất ACID
Isolation:
Trang 16Đơn vị dữ liệu
§ Đối tượng CSDL mà giao tác thực hiện các xử lý đọc /ghi còn được
gọi là đơn vị dữ liệu
Trang 17Các thao tác của giao tác
Trang 18Ví dụ về biểu diễn giao tác
Trang 19Giao tác: Ví dụ (tt)
Trang 20Các trạng thái của giao tác
Trang 21Khai báo giao tác trong T-SQL
Trang 22Nội dung trình bày
Trang 23Các cách thực hiện của các giao tác
Trang 27Lịch xử lý đồng thời
§
T1
T2
T4
T3
T5
Lịch xử lý đồng thời
S
Trang 28Lịch đồng thời
Ví dụ:
§ S3 là một lịch xử lý đồng thời vì các giao tác giao thoa với nhau
§ Lịch xử lý đồng thời S3 gây ra sự mất nhất quán dữ liệu
– –
Trang 29T3
T5 S
Trang 33Biểu diễn lịch thao tác
Trang 34Lịch khả tuần tự
§
§
§
Trang 37Conflict Serializability (tt)
§ Tóm lại, h
§
Trang 38Conflict Serializability (tt)
§
xung đột hay không ?
Trang 40Conflict Serializability (tt)
§
§
Trang 41Conflict Serializability (tt)
Trang 42Kiểm tra Conflict Serializability
Trang 43Kiểm tra Conflict Serializability
§
–
–
Trang 44Kiểm tra Conflict Serializability
Trang 45Kiểm tra Conflict Serializability
Trang 46Kiểm tra Conflict Serializability
T
Trang 47Kiểm tra Conflict Serializability
T T
Trang 52Bài tập 4
§ Cho lịch S:
§ Vẽ P(S)
§ S có conflict-serializable không ?
Trang 55View-Serializability (tt)
§
khi S thực hiện có giao tác Tf thực hiện việc đọc A
• Đều có T3 thực hiện việc ghi cuối cùng lên A T2, T3 không có lệnh đọc A à Dù
S hay S’ được thực hiện thì kết quả đọc A của Tf luôn giống nhau à
T T
Trang 56View-Serializability (tt)
§ Khả tuần tự View (View-serializability):
tạo từ các giao tác của S sao cho S và S’ đọc và ghi những giá trị giống nhau
Trang 60Kiểm tra View Serializability
Trang 61Kiểm tra View-Serializability (tt)
Trang 62Kiểm tra View-Serializability (tt)
Trang 63Kiểm tra View-Serializability (tt)
Trang 64Write(A)
T 2
T 1
Write(A) S’
Trang 67Ví dụ (tt)
T 2
T 1
Write(A) S’
Trang 68Ví dụ (tt)
T 2
T 1
Write(A) S’
Trang 69Ví dụ (tt)
T 2
T 1
Write(A) S’
Trang 70Ví dụ (tt)
T 2
T 1
Write(A) S’
Trang 71Ví dụ (tt)
T 2
T 1
Write(A) S’
Trang 74Bài tập
T 2
T 1
Write(A) S
Trang 76TÀI LIỆU THAM KHẢO
Trang 77TÀI LIỆU THAM KHẢO