Giao dịch phân tán
Bách khoa toàn thư mở Wikipedia
Một giao dịch (transaction) là một đơn vị tính toán cơ bản,nhất quán và tin cậy được bao gồm bao gồm các thao tác CSDL được thực hiện như :
Một hành động nguyên tử (atomic action) Một đối tượng mang đặt tính nguyên tử có nghĩa là nó không thể chia nhỏ.Một giao dịch thực sự cần đặc tính nguyên tử để nó không bị chia nhỏ và mất đi tính nhất quán. Một giao dịch sẽ chuyển đổi trang thái nhất quán này sang trạng thái nhất quán khác ngay cả khi có một số lượng giao dịch xảy ra đồng thời( còn được gọi là một vô hình đồng thời - concurrency transparency) và ngay cả khi có sự cố xảy ra (E.g:connection error)thì phải đảm bảo tính nguyên tử khi có sự cố(failure atomicity).Đặc tính này có thể biết như tính chất tất cả hoặc không có gì cả(all or nothing property) hay cụ thể như có một giao dịch xảy ra(như là rút tiền ở máy ATM chẳn hạn) tất cả các hành động thao tác trên CSDL sẽ xảy ra đồng thời hoặc không xảy ra gì cà nếu có lỗi.
Tính nhất quán(consistency) CSDL luôn luôn nhất quán với các ràn buộc của ứng dụng, nghĩa là nó chỉ ánh xạ trạng thái CSDL theo độ đo thời gian.VD: nếu ta rút tiền lúc 5.00 PM thì trạng thái của dữ liệu trong tài khoảng sau 5.00 PM sẽ là ít hơn so với trước 5.00 PM (ở đây dữ liệu là số tiền) và fragment(phân mảnh CSDL) ở các site khác nhau phải được đồng bộ hóa.
Tính biệt lập(isolation): mỗi giao dịch thực hiện phải thấy CSDL nhất quán ở mọi thời điểm(trừ những hành động của giao dịch đang thực hiện)Điều này liên quan mật thiết với tính chất nguyên tử của giao dịch theo đó những tiến trình khác không thể thấy được kết quả tạm thời trong cùng một giao dịch đang thực hiện.Do đó mỗi tiến trình trong như là nguyên tử đối với các tiến trình khác(tiến trình khác chỉ thấy như là hành đông duy nhất đối với tất cả các thao tác trong một giao dịch)
Tính bền vững(durability) bảo đảm rằng một khi giao dịch ủy thác kết quả của nó được di trì cố định không bị xóa khỏi CSDL dù giao dịch có thành công hay không.Tính bền vững dẫn đến khái niệm phục hồi CSDL(database recovery).Cơ chế đảm bảo tính bến vững dựa vào thuật toán Xác nhận hai pha.
References: Principle of Distributed Database Systems - M. Tamer Ozsu and Patrick Valduriez