chuong 3 quản lý giao tác

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.08 MB, 100 trang )

Trang 1<div class="page_container" data-page="1">

(TRANSACTION MANAGEMENT)

</div>Trang 2<div class="page_container" data-page="2">

 “Database System the complete book” – Hector Garcia, Jeffrey D. Ullman and Jennifer Widom

</div>Trang 3<div class="page_container" data-page="3">

 Giới thiệu

 Khái niệm giao tác (transaction)

 Định nghĩa

 Tính chất ACID của giao tác

 Các thao tác của giao tác

 Trạng thái của giao tác

 Bộ lập lịch (schedule)

 Giới thiệu

 Định nghĩa

 Lịch tuần tự (serial schedule)

 Lịch khả tuần tự (serilizable schedule)

NỘI DUNG CHI TIẾT

</div>Trang 4<div class="page_container" data-page="4">

GIỚI THIỆU TRANSACTION

 Một transaction là một đơn vị thực hiện chương trình truy xuất và có thể cập nhật nhiều mục dữ liệu.

 Một transaction thường là kết quả của việc thực hiện một chương trình người dùng được viết trong một ngôn ngữ cấp cao hay ngôn ngữ SQL và được phân cách bởi các câu lệnh có dạng:

begin transaction …

end transaction.

</div>Trang 5<div class="page_container" data-page="5">



Ví dụ

 Hệ thống giao dịch ngân hàng

 Hệ thống đặt vé bay

 DBMS là môi trường đa người dùng

 Nhiều thao tác truy xuất lên cùng một đơn vị dữ liệu

 Nhiều thao tác thi hành đồng thời

Thời gian

Khách hàng 1Khách hàng 2

Tìm thấy 1 chỗ trống

Đặt vé bay

Đặt vé bay 2 khách hàng đặt cùng 1 chỗ trống ?

GIỚI THIỆU TRANSACTION (TT)

</div>Trang 6<div class="page_container" data-page="6">

 Khi DBMS gặp sự cố

 Các thao tác có thể làm cho trạng thái CSDL khơng chính xác

Đọc số dư của tài khoản A

Kiểm tra (số dư > số tiền cần rút)Tăng số dư của tài khoản B

Giảm số dư của tài khoản A

Sự

cốNgân hàng chịu lỗ 1 khoảng tiền ?

GIỚI THIỆU TRANSACTION (TT)

</div>Trang 7<div class="page_container" data-page="7">

 Giới thiệu

 Khái niệm giao tác (transaction)

 Định nghĩa

 Tính chất ACID của giao tác

 Các thao tác của giao tác

 Trạng thái của giao tác

 Lịch thao tác (schedule)

 Giới thiệu

 Định nghĩa

 Lịch tuần tự (serial schedule)

 Lịch khả tuần tự (serializable schedule)

NỘI DUNG CHI TIẾT

</div>Trang 8<div class="page_container" data-page="8">

 Giao tác là 1 đơn vị xử lý nguyên tố gồm 1 chuỗi các hành động tương tác lên CSDL

 Nguyên tố: không thể phân chia được nữa

GIAO TÁC (TRANSACTION)

CSDL nhất quán 1Giao tácCSDL nhất quán 2

</div>Trang 9<div class="page_container" data-page="9">

9

GIAO TÁC (TT)

</div>Trang 10<div class="page_container" data-page="10">

 Nguyên tố (Atomicity)

 Nhất qn (Consistency)

 Cơ lập (Isolation)

 Bền vững (Durability)

TÍNH CHẤT ACID CỦA GIAO TÁC

Để ĐảM BảO TÍNH TỒN VẹN CủA Dữ LIệU, TA

YÊU CầU Hệ CSDL DUY TRÌ CÁC TÍNH CHấT SAU CủA GIAO TÁC:

</div>Trang 11<div class="page_container" data-page="11">

 Nguyên tố (Atomicity)

Ø Hoặc là toàn bộ hoạt động của giao dịch được phản ánh đúng đắn trong CSDL hoặc khơng có hoạt động nào cả

 Nhất quán (Consistency)

Ø Một giao tác được thực hiện độc lập với các giao tác khác xử lý đồng thời với nó để bảo đảm tính nhất qn cho CSDL

TÍNH CHẤT ACID CỦA GIAO TÁC

</div>Trang 12<div class="page_container" data-page="12">

TÍNH CHẤT ACID CỦA GIAO TÁC (TT)

 Tính cơ lập (Isolation)

Ø Cho dù nhiều giao dịch có thể thực hiện đồng thời, hệ thống phải đảm bảo rằng đối với mỗi cặp giao dịch Ti, Tj , hoặc Tj kết thúc thực hiện trước khi Tikhởi động hoặc Tj bắt đầu sự thực hiện sau khi Tikết thúc.

Ø Như vậy, mỗi giao dịch không cần biết đến các giao dịch khác đang thực hiện đồng thời trong hệ thống.

 Tính bền vững (Durability). Sau một giao dịch hồn thành, các thay đổi đã được tạo ra đối với CSDL

</div>Trang 13<div class="page_container" data-page="13">

Ø Chuyển X vào biến X

 WRITE(X): chuyển mục dữ liệu X từ buffer của giao dịch thực hiện WRITE đến CSDL. Thứ tự thực hiện:

Ø Tìm địa chỉ ơ nhớ trong chứa X

Ø Chép X vào biến X

Ø Ghi dữ liệu lên bộ nhớ ngoài tại X

</div>Trang 14<div class="page_container" data-page="14">

 Consistency

 Tổng A+B là khơng đổi

VÍ DỤ

T: Read(A,t);t:=t-50;

T là một giao dịch chuyển 50$ từ tài khoản A sang tài khoản B. Giao dịch này có thể được xác định như sau:

</div>Trang 15<div class="page_container" data-page="15">

 Atomicity

 A=100, B=200 (A+B=300)

 Tại thời điểm sau khi write(A,t)

 A=50, B=200 (A+B=250) - CSDL không nhất quán

 Tại thời điểm sau khi write(B,t)

 A=50, B=250 (A+B=300) - CSDL nhất quán

 Nếu T không bao giờ bắt đầu thực hiện hoặc T được

đảm bảo phải hồn tất thì trạng thái khơng nhất qn sẽ khơng xuất hiện

T: Read(A,t);t:=t-50;

VÍ DỤ (TT)

</div>Trang 16<div class="page_container" data-page="16">

VÍ DỤ (TT)

</div>Trang 17<div class="page_container" data-page="17">

VÍ DỤ (TT)

</div>Trang 18<div class="page_container" data-page="18">

 Xét ví dụ:

Giả sử có 2 giao tác: T1 và T2

Read(X)X = X-10Write(X)

Read(X)X = X-5Write(X)

</div>Trang 20<div class="page_container" data-page="20">

NHẬN XÉT

 Khi giao tác chuyển tới HQTCSDL thì:

 Hoặc là tất cả

 Hoặc là giao tác không làm dữ liệu mâu thuẩn

 Cho dù nhiều giao dịch có thể thực hiện đồng thời, hệ thống phải đảm bảo rằng đối với mỗi cặp giao dịch Ti, Tj ; hoặc Tj kết thúc thực hiện trước khi Ti khởi động hoặc Tj bắt đầu sự thực hiện sau khi Ti kết thúc.

 Như vậy, mỗi giao dịch không cần biết đến các giao dịch khác đang thực hiện đồng thời trong hệ thống.

</div>Trang 21<div class="page_container" data-page="21">

 Giả sử CSDL gồm nhiều đơn vị dữ liệu (element)

 Một đơn vị dữ liệu:

 Có một giá trị

 Được truy xuất và sửa đổi bởi các giao tác

Quan hệ (relation) - Lớp (class)

Khối dữ liệu trên đĩa (block) / trang (page)

Bộ (tuple) - Đối tượng (object)

CÁC THAO TÁC CỦA GIAO TÁC

</div>Trang 22<div class="page_container" data-page="22">

Các truy xuất CSDL được thực hiện bởi hai hoạt động sau:

 READ(X). chuyển hạng mục dữ liệu X từ CSDL đến buffer của giao dịch thực hiện hoạt động READ này.

 WRITE(X). chuyển hạng mục dữ liệu X từ buffer của giao dịch thực hiện WRITE đến CSDL

CÁC THAO TÁC CỦA GIAO TÁC (TT)

</div>Trang 23<div class="page_container" data-page="23">

l

Write(X, t)

l

Output(X)

Xt X

l

B u f f f e r manager

</div>Trang 24<div class="page_container" data-page="24">

 Giả sử CSDL có 2 đơn vị dữ liệu A và B với ràng buộc A=B trong mọi trạng thái nhất quán

 Giao tác T thực hiện 2 bước

</div>Trang 25<div class="page_container" data-page="25">

Hành động

Mem A Mem BDisk ADisk B

VÍ DỤ (TT)

</div>Trang 26<div class="page_container" data-page="26">

Hành động

Mem A Mem BDisk ADisk B

VÍ DỤ (TT)

</div>Trang 27<div class="page_container" data-page="27">

Một giao dịch phải ở trong một trong các trạng thái sau:

 Hoạt động (Active)

 Ngay khi bắt đầu thực hiện thao tác đọc/ghi

 Được bàn giao bộ phận (Partially committed)

 Sau khi lệnh thi hành cuối cùng được thực hiện

 Được bàn giao (Committed)

Sau khi mọi hành động hồn tất thành cơng

CÁC TRẠNG THÁI CỦA GIAO TÁC

</div>Trang 28<div class="page_container" data-page="28">

SƠ ĐỒ TRẠNG THÁI CỦA MỘT GIAO TÁC

</div>Trang 29<div class="page_container" data-page="29">

 Lịch tuần tự (serial schedule)

 Lịch khả tuần tự (serilizable schedule)

NỘI DUNG CHI TIẾT

</div>Trang 30<div class="page_container" data-page="30">

 Thực hiện tuần tự

 Tại một thời điểm, một giao tác chỉ có thể bắt đầu khi giao tác trước nó hồn tất

 Thực hiện đồng thời

 Cho phép nhiều giao tác cùng truy xuất dữ liệu

 Gây ra nhiều phức tạp về nhất quán dữ liệu

 Có 2 lý do để thực hiện đồng thời:

 Tận dụng tài nguyên và thông lượng (throughput)

 Trong khi 1 giao tác đang thực hiện đọc/ghi trên đĩa, 1 giao tác khác đang xử lý tính tốn trên CPU

 Giảm thời gian chờ

GIỚI THIỆU

</div>Trang 31<div class="page_container" data-page="31">

 Khi có nhiều giao tác thực hiện đồng thời, tính nhất qn CSDL có thể bị phá vỡ mặc dù cá nhân mỗi giao tác vẫn thực hiện đúng đắn.

 Vì vậy, cần có khái niệm Lịch thao tác (schedule) để xác định những thực hiện nào đảm bảo tính nhất quán.

 Bộ phận quản lý các lịch thao tác này gọi là Bộ lập lịch (scheduler).

GIỚI THIỆU (TT)

</div>Trang 32<div class="page_container" data-page="32">

 Là một thành phần của DBMS có nhiệm vụ lập 1

lịch để thực hiện n giao tác xử lý đồng thời

BỘ LẬP LỊCH (SCHEDULER)

Transaction manager

Read/Write request

Read & Write

</div>Trang 33<div class="page_container" data-page="33">



Lịch S của n giao tác T

1

, T

2

, …, T

n

là dãy có

thứ tự các thao tác trong n giao tác này



Thứ tự xuất hiện của các giao tác trong lịch phải giống với thứ tự xuất hiện trong giao tác

</div>Trang 34<div class="page_container" data-page="34">

VÍDỤ

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

Cho lịch S của 2 giao tác T1 và T2 như sau:

</div>Trang 35<div class="page_container" data-page="35">

T1:

T2:

Giả sử giá trị hiện tại của A và B tương ứng là 1000$ và 2000$.

</div>Trang 36<div class="page_container" data-page="36">

TRƯỜNGHỢP 1: THỰCHIỆNXONGGIAODỊCH T1RỒIĐẾNGIAODỊCH T2

Temp:=A*0.1;A:=A-temp;Write(A);Read(B);B:=B+temp;Write(B);

</div>Trang 37<div class="page_container" data-page="37">

TRƯỜNGHỢP 2: THỰCHIỆNXONGGIAODỊCH T2RỒIĐẾNGIAODỊCH T1

S2: Giá trị sau cùng của A là 850, B là 2150, tổng 2 tài khoản (A+B) là không đổi

</div>Trang 38<div class="page_container" data-page="38">

LỊCHTUẦNTỰ (SERIALSCHEDULE)



Một lịch S được gọi là tuần tự nếu các hành động của các giao tác T

i

(i=1..n) được thực

hiện liên tiếp nhau

T3

</div>Trang 39<div class="page_container" data-page="39">

 Giả sử ràng buộc nhất quán trên CSDL là A=B

 Từng giao tác thực hiện riêng lẻ thì tính nhất qn sẽ được bảo toàn

</div>Trang 40<div class="page_container" data-page="40">

L

ỊCHTUẦNTỰ

(

TT

)

150S2

</div>Trang 41<div class="page_container" data-page="41">

 Một lịch S được lập từ n giao tác T1, T2, …, Tn xử lý đồng thời được gọi là khả tuần tự nếu nó cho cùng

kết quả với 1 lịch tuần tự nào đó được lập từ n

giao tác này

Thời gian

S

</div>Trang 42<div class="page_container" data-page="42">

L

ỊCHKHẢTUẦNTỰ

(

TT

)

2525125

</div>Trang 43<div class="page_container" data-page="43">

43

L

ỊCHKHẢTUẦNTỰ

(

TT

)

 Trước S4 khi thực hiện

 S4 không khả tuần tự

</div>Trang 44<div class="page_container" data-page="44">

L

ỊCHKHẢTUẦNTỰ

(

TT

)

 Khi S5 kết thúc

A và B bằng nhau

Trạng thái cuối cùng nhất quán

 S5 khả tuần tự, ko có kết quả giống với lịch tuần tự

T1, T2

T2, T1

</div>Trang 45<div class="page_container" data-page="45">

45

L

ỊCHKHẢTUẦNTỰ

(

TT

)

 Để xác định 1 lịch thao tác có khả tuần tự hay khơng

Xem xét chi tiết các hành động của các giao tác???

 Tuy nhiên

Bộ lập lịch khó biết được “Giao tác này có nhân A với hằng số khác 1 hay không?”

 Nhưng

Bộ lập lịch phải biết các thao tác đọc/ghi của giao tác

Những đơn vị dữ liệu nào được giao tác đọc

Những đơn vị dữ liệu nào có thể bị thay đổi

 Để đơn giản cơng việc cho bộ lập lịch

Nếu có hành động nào tác động lên đơn vị dữ liệu A làm cho trạng thái CSDL khơng nhất qn thì giao tác vẫn thực hiện hành động đó

Thao tác đọc và ghi – Read(X) / Write(X)

</div>Trang 46<div class="page_container" data-page="46">



Ý tưởng

 Xét 2 hành động liên tiếp nhau trong 1 lịch thao tác

 Nếu thứ tự của chúng được đổi cho nhau

 Thì hoạt động của ít nhất 1 giao tác có thể thay đổi

Hành động 1Hành động 2

Hành động 1’Hành động 3 Hành động 2’

</div>Trang 47<div class="page_container" data-page="47">

CONFLICT-SERIALIZABLE (TT)

 Cho lịch S có 2 giao tác Ti và Tj, xét các trường hợp

 ri(X) ; rj(Y)

Không bao giờ có xung đột, ngay cả khi X=Y

Cả 2 thao tác không làm thay đổi giá trị của đơn vị dữ liệu X, Y

 ri(X) ; wj(Y)

Không xung đột khi XY

Tj ghi Y sau khi Ti đọc X, giá trị của X không bị thay đổi

Ti đọc X không ảnh hưởng gì đến Tj ghi giá trị của Y

</div>Trang 48<div class="page_container" data-page="48">

THAOTÁCXUNGĐỘT

v

Hai thao tác trong 1 lịch S gọi là xung đột nếu thỏa 3 điều kiện:



Thuộc 2 giao tác khác nhau



Truy xuất đến cùng một đơn vị dữ liệu



Ít nhất 1 trong 2 thao tác là WRITE

</div>Trang 49<div class="page_container" data-page="49">

T

HAOTÁCXUNGĐỘT

(

TT

)

Ví dụ:

R1(X),W2(X)R2(X),W1(X)W1(X),W2(X)R1(X), R2(X)R1(X), W1(X)

Xung đột

Không xung đột

</div>Trang 50<div class="page_container" data-page="50">

CONFLICT-SERIALIZABLE (TT)

 Định nghĩa

 S, S’ là những lịch thao tác conflict-equivalent

ØNếu S có thể được chuyển thành S’ bằng một

chuỗi những hốn vị các thao tác khơng xung đột

 Một lịch thao tác S là conflict-serializable

ØNếu S là conflict-equivalent với một lịch thao tác tuần tự nào đó

</div>Trang 51<div class="page_container" data-page="51">

CONFLICT-SERIALIZABLE (TT)



Ví dụ

Write(A)Read(B)Write(B)

</div>Trang 52<div class="page_container" data-page="52">

LỊCHHỒNHẢO (COMPLETESCHEDULE)

v

Lịch S của n giao tác T1,T2,…Tn được gọi là lịch hoàn hảo nếu thỏa mãn:

 S bao gồm các thao tác trong T1,T2,… Tn và một thao tác commit hay abort ở cuối mỗi giao tác trong lịch trình.

 Với mỗi cặp thao tác trong Ti, thứ tự xuất hiện của cũng trong S phải giống trong Ti

 Với mỗi cặp thao tác xung đột, thì 1 trong 2 giao tác phải được thực hiện trước trong lịch

</div>Trang 53<div class="page_container" data-page="53">

LỊCHTƯƠNGĐƯƠNG



Hai lịch trình của n giao tác gọi là tương đương (equivalent) nếu bất kỳ 2 thao tác xung đột nào cùng xuất hiện trong 2 lịch thì đều có cùng thứ tự.

</div>Trang 54<div class="page_container" data-page="54">

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

R1(X)X = X-10W1(X)

R2(X)X = X+5W2(X)

S1: R1(X), R2(X),W1(X),R1(Y),W2(X),W1(Y)S2: R1(X),W1(X),R2(X),W2(X),R1(Y),W1(Y)

</div>Trang 55<div class="page_container" data-page="55">

R(X)X=X-10W(X)R(Y)Y = Y+20W(Y)

R(X)X = X+5W(X)

R(Y)Y = Y+20W(Y)

R(X)X = X+5W(X)

S1: R1(X),W1(X),R2(X),R1(Y),W2(X),W1(Y)S1: R1(X),W1(X),R2(X), W2(X), R1(Y),W1(Y)

Cặp xung đột S1: R1(X)-W2(X); W1(X)-R2(X); W1(X)-W2(X)Cặp xung đột S2: R1(X)-W2(X); W1(X)-R2(X),W1(X)-W2(X)

S1 và S2 là tương đương

</div>Trang 56<div class="page_container" data-page="56">



Lịch tuần tự đơn giản và dễ liệt kê



Lịch khả tuần tự khó liệt kê



Lịch tuần tự đơn giản dễ thiết lập. Nếu 1 giao tác T trong 1 lịch thực hiện nhiều hành động, nếu sử dụng lịch tuần tự thì các giao tác cịn lại phải ở trạng thái chờ đợi lâu. Điều này

</div>Trang 57<div class="page_container" data-page="57">

C

ÂUHỎI

1: X

ÉT

2

LỊCHSAUCĨTƯƠNGĐƯƠNGVỀMẶTKẾTQUẢKHƠNG

?

 Giả sử x = 2, y=3

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

R1(X)X = X-10W1(X)

R2(X)X = X+5W2(X)

</div>Trang 58<div class="page_container" data-page="58">

C

ÂUHỎI

2: L

ỊCHSAUKHẢTUẦNTỰKHÔNG

?

 Lịch S gọi là khả tuần tự nếu có kết quả như 1 lịch tuần tự. Lịch khả tuần tự là 1 lịch đúng

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5

R1(X)X = X-10W1(X)

R2(X)X = X+5W2(X)

</div>Trang 59<div class="page_container" data-page="59">

C

ÂUHỎI

3: L

ỊCHSAUKHẢTUẦNTỰKHÔNG

?

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

</div>Trang 60<div class="page_container" data-page="60">

C

ONFLICT

-S

ERIALIZABLE

(

TT

)

 Xét lại lịch S5

Serializable nhưng không

conflict-serializable

</div>Trang 61<div class="page_container" data-page="61">

S’

</div>Trang 62<div class="page_container" data-page="62">

K

IỂMTRA

C

ONFLICT

-S

ERIALIZABLE

T2T1

</div>Trang 63<div class="page_container" data-page="63">



Ta nói T

1

thực hiện trước T

2

, ký kiệu T

1



S

T

2

, khi :



A

1

được thực hiện trước A

2

trong S



A

1

không nhất thiết phải liên tiếp A

2



A

1

và A

2

cùng thao tác lên 1 đơn vị dữ liệu



Có ít nhất 1 hành động ghi trong A

1

và A

2

</div>Trang 64<div class="page_container" data-page="64">

Cung đi từ Ti đến Tj nếu Ti S Tj

 Nếu P(S) khơng có chu trình thì S conflict-serializable

 Thứ tự hình học (topological order) của các đỉnh là thứ

</div>Trang 65<div class="page_container" data-page="65">

Và pi(A) và qj(A) là xung đột

 S1, S2 không conflict-equivalent

</div>Trang 66<div class="page_container" data-page="66">

S’

</div>Trang 68<div class="page_container" data-page="68">

PRECEDENCEGRAPH (TT)

 Định lý

P(S1) khơng có chu trình  S1 conflict-serializable

 Chứng minh ()

Giả sử P(S1) khơng có chu trình

Ta biến đổi S1 như sau

Chọn ra 1 giao tác T1 khơng có cung nào đi đến nó

S1 = … qj(A) … p1(A) …Đem T1 lên vị trí đầu

</div>Trang 69<div class="page_container" data-page="69">

Read(A)Write(A)Read(B)

</div>Trang 70<div class="page_container" data-page="70">

VÍDỤ (TT)

S conflict-serializable theo thứ tự T, T, T

</div>Trang 71<div class="page_container" data-page="71">

lP(S) có chu trình

lS khơng conflict-serializableT2 S T3

</div>Trang 72<div class="page_container" data-page="72">

T

HUẬTTỐNKIỂMTRALỊCH

S

CĨKHẢTUẦNTỰ

Input: Lịch S của n giao tác T1,T2,…TnOutput: S có khả tuần tự hay khơng

1.Với mỗi giao tác Ti tham gia vào lịch trình S, tạo 1 nút có nhãn là Ti

2.Với mỗi trường hợp S có giao tác Ti thực hiện Read (X) trước một Write(X) sau một giao tác Tj (i # j), tạo một cung (TiTj)

3.Với mỗi trường hợp S có giao tác Ti thực hiện write(X) trước một Read(X) thuộc giao tác Tj (với i#j),tạo 1

4.Với mỗi trường hợp S có giao tác Ti thực hiện write(X) trước một write(X) thuộc giao tác Tj (với i#j), tạo 1 cung (TiTj)

5.Lịch S là khả tuần tự nếu và chỉ nếu đồ thị khơng có chu

</div>Trang 73<div class="page_container" data-page="73">

CÂUHỎI 4:

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

</div>Trang 74<div class="page_container" data-page="74">

ĐÁPÁN CÂUHỎI 4:

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

</div>Trang 75<div class="page_container" data-page="75">

CÂUHỎI 5:

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

</div>Trang 76<div class="page_container" data-page="76">

ĐÁPÁN CÂUHỎI 5:

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

</div>Trang 77<div class="page_container" data-page="77">

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

CÂUHỎI 6:

</div>Trang 78<div class="page_container" data-page="78">

R1(X)X = X-10W1(X)R1(Y)Y=Y-15W1(Y)

R2(X)X = X+5W2(X)

ĐÁPÁN CÂUHỎI 6:

</div>Trang 79<div class="page_container" data-page="79">

R1(X)X = X-10W1(X)

R2(X)X = X+5W2(X)

CÂUHỎI 7:

</div>Trang 80<div class="page_container" data-page="80">

R1(X)X = X-10W1(X)

R2(X)X = X+5W2(X)

ĐÁPÁN CÂUHỎI 7:

</div>Trang 82<div class="page_container" data-page="82">

CÂUHỎI 8

T3

</div>Trang 83<div class="page_container" data-page="83">

CÂUHỎI 9

Vẽ P(S)

S có conflict-serializable khơng?

</div>Trang 84<div class="page_container" data-page="84">

 Xét lịch S

P(S) có chu trình

</div>Trang 85<div class="page_container" data-page="85">

Khơng conflict-serializable

Giải thích như thế nào đây?

</div>Trang 86<div class="page_container" data-page="86">

VIEW-SERIALIZABILITY (TT)

 Ý tưởng

 Xét trường hợp

 Nhận xét

 Sau khi T ghi A xong mà khơng có giao tác nào đọc giá trị của A

 Khi đó, hành động wT(A) có thể chuyển đến 1 vị trí khác trong lịch thao tác mà ở đó cũng khơng có giao tác nào đọc A

 Ta nói

Read(A)

</div>Trang 87<div class="page_container" data-page="87">

VIEW-SERIALIZABILITY (TT)

 Định nghĩa

 S, S’ là những lịch thao tác view-equivalent

 1- Nếu trong S có wj(A)…ri(A) thì trong S’ cũng có wj(A)… ri(A)

 2- Nếu trong S có ri(A) là thao tác đọc giá trị ban đầu của A thì trong S’ cũng ri(A) đọc giá trị ban đầu của A

 3- Nếu trong S có wi(A) là thao tác ghi giá trị sau cùng lên A thì trong S’ cũng có wi(A) ghi giá trị sau cùng lên A

 Một lịch thao tác S là view-serializable

 Nếu S là view-equivalent với một lịch thao tác tuần tự nào đó

 S conflict-serializable  S view-serializable

 S conflict-serializable  S view-serializable???

</div>Trang 88<div class="page_container" data-page="88">

VIEW-SERIALIZABILITY (TT)

 S conflict-serializable  S view-serializable

 Chứng minh

 Hốn vị các hành động khơng xung đột

 Không làm ảnh hưởng đến những thao tác đọc

 Cũng không làm ảnh hưởng đến trạng thái CSDL

</div>Trang 89<div class="page_container" data-page="89">

Write(A)

</div>Trang 90<div class="page_container" data-page="90">

VIEW-SERIALIZABILITY (TT)

Lịch thao tác

View-SerializableConflict- Serializable

</div>Trang 91<div class="page_container" data-page="91">

91

K

IỂMTRA

V

IEW

-S

ERIALIZABILITY

(

TT

)

 Cho 1 lịch thao tác S

 Thêm 1 giao tác cuối Tf vào trong S sao cho Tf thực hiện việc đọc hết tất cả đơn vị dữ liệu ở trong S

(bỏ qua điều kiện thứ 3 của định nghĩa view-equivalent)

S = … w1(A)…………w2(A) rf(A)

 Thêm 1 giao tác đầu tiên Tb vào trong S sao cho Tb thực hiện việc ghi các giá trị ban đầu cho các đơn vị dữ liệu

(bỏ qua điều kiện thứ 2 của định nghĩa view-equivalent)

S = wb(A)… w1(A)…………w2(A)…

Ghi A cuối cùng

</div>Trang 92<div class="page_container" data-page="92">

K

IỂMTRA

V

IEW

-S

ERIALIZABILITY

(

TT

)

 Vẽ đồ thị trình tự gán nhãn cho S, ký hiệu LP(S), (Labeled Prececence Graph)

</div>Trang 93<div class="page_container" data-page="93">

KIỂMTRA VIEW-SERIALIZABILITY (TT)

(2a) Nếu Tj  Tb và Ti  Tf thì vẽ cung Tk  Tj và Ti Tk

jk X

Chọn 1 cung vừa tạo sao

</div>Trang 94<div class="page_container" data-page="94">

KIỂMTRA VIEW-SERIALIZABILITY (TT)

</div>

chuong 3 quản lý giao tác

<b>(TRANSACTION MANAGEMENT)</b>

<b>NỘI DUNG CHI TIẾT</b>

<b>GIỚI THIỆU TRANSACTION</b>

<b>Ví dụ </b>

<b>GIỚI THIỆU TRANSACTION (TT)</b>

<b>GIỚI THIỆU TRANSACTION (TT)</b>

<b>NỘI DUNG CHI TIẾT</b>

<b>GIAO TÁC (TRANSACTION)</b>

<b>GIAO TÁC (TT)</b>

<b>Để ĐảM BảO TÍNH TỒN VẹN CủA Dữ LIệU, TA </b>

<b>YÊU CầU Hệ CSDL DUY TRÌ CÁC TÍNH CHấT SAU CủA GIAO TÁC: </b>

<b>TÍNH CHẤT ACID CỦA GIAO TÁC </b>

<b>TÍNH CHẤT ACID CỦA GIAO TÁC (TT) </b>

<b>VÍ DỤ</b>

<b>VÍ DỤ (TT)</b>

<b>VÍ DỤ (TT)</b>

<b>VÍ DỤ (TT)</b>

<b>NHẬN XÉT</b>

<b>CÁC THAO TÁC CỦA GIAO TÁC</b>

<b>CÁC THAO TÁC CỦA GIAO TÁC (TT)</b>

Write(X, t)

Output(X)

B u f f f e r manager

<b>VÍ DỤ (TT)</b>

<b>VÍ DỤ (TT)</b>

<b>CÁC TRẠNG THÁI CỦA GIAO TÁC</b>

<b>SƠ ĐỒ TRẠNG THÁI CỦA MỘT GIAO TÁC</b>

<b>NỘI DUNG CHI TIẾT</b>

<b>GIỚI THIỆU</b>

<b>GIỚI THIỆU (TT)</b>

<b>BỘ LẬP LỊCH (SCHEDULER)</b>

<i><b>Lịch S của n giao tác T</b></i>

<i><b>, T</b></i>

<i><b>, …, T</b></i>

<b> là dãy có </b>

<i><b>thứ tự các thao tác trong n giao tác này</b></i>

<b>Thứ tự xuất hiện của các giao tác trong lịch phải giống với thứ tự xuất hiện trong giao tác</b>

<b>VÍDỤ</b>

<b>LỊCHTUẦNTỰ (SERIALSCHEDULE)</b>

<i><b>Một lịch S được gọi là tuần tự nếu các hành động của các giao tác T</b></i>

<i><b> (i=1..n) được thực </b></i>

<b>hiện liên tiếp nhau</b>

<b>L</b>

<b> (</b>

<b>)</b>

<b>L</b>

<b> (</b>

<b>)</b>

<b>L</b>

<b> (</b>

<b>)</b>

<b>L</b>

<b> (</b>

<b>)</b>

<b>L</b>

<b> (</b>

<b>)</b>

<b>Ý tưởng </b>

<b>CONFLICT-SERIALIZABLE (TT)</b>

<b>THAOTÁCXUNGĐỘT</b>

<b>Hai thao tác trong 1 lịch S gọi là xung đột nếu thỏa 3 điều kiện:</b>

<b>Thuộc 2 giao tác khác nhau</b>

<b>Truy xuất đến cùng một đơn vị dữ liệu</b>

<b>Ít nhất 1 trong 2 thao tác là WRITE</b>

<b>T</b>

<b> (</b>

<b>)</b>

<b>Ví dụ:</b>

<b>R1(X),W2(X)R2(X),W1(X)W1(X),W2(X)R1(X), R2(X)R1(X), W1(X)</b>

<b>CONFLICT-SERIALIZABLE (TT)</b>

<b>CONFLICT-SERIALIZABLE (TT)</b>

<b>Ví dụ</b>

<b>LỊCHHỒNHẢO (COMPLETESCHEDULE) </b>

<b>Lịch S của n giao tác T1,T2,…Tn được gọi là lịch hoàn hảo nếu thỏa mãn:</b>

<b>LỊCHTƯƠNGĐƯƠNG</b>

<b>Hai lịch trình của n giao tác gọi là tương đương (equivalent) nếu bất kỳ 2 thao tác xung đột nào cùng xuất hiện trong 2 lịch thì đều có cùng thứ tự.</b>

<b>Lịch tuần tự đơn giản và dễ liệt kê</b>

<b>Lịch khả tuần tự khó liệt kê</b>

<b>Lịch tuần tự đơn giản dễ thiết lập. Nếu 1 giao tác T trong 1 lịch thực hiện nhiều hành động, nếu sử dụng lịch tuần tự thì các giao tác cịn lại phải ở trạng thái chờ đợi lâu. Điều này </b>