Inconsistent state là gì?

Gọi T là một giao dịch (transaction) chuyển $ 50 từ tài khoản A sang tài khoản B. Hành động chuyển tiền này có thể được hiểu như sau:

T:  read (A);
    A := A − 50;
    write (A);
    read (B);
    B := B + 50;
    write (B).

Giả sử rằng, ngay trước khi thực hiện giao dịch T, giá trị của tài khoản A và B lần lượt là $ 1000 và $ 2000. Bây giờ, giả sử rằng trong quá trình thực hiện giao dịch T, một lỗi (failure) xảy ra khiến T không thể hoàn thành giao dịch thành công. Hơn nữa, giả sử rằng lỗi xảy ra sau thao tác write (A) nhưng trước thao tác write (B). Trong trường hợp này, giá trị của tài khoản A và B được xuất ra trong cơ sở dữ liệu là $ 950 và $ 2000. Hệ thống đã mất $ 50 do lỗi này.

Do đó, do sự cố trạng thái của hệ thống không còn chính xác. Chúng ta gọi một trạng thái như vậy là một trạng thái không nhất quán (inconsistent state).