12.4. Kiểm tra tính nhất quán dữ liệu tại Cấp độ ứ롤 토토 dụ롤 토토

Vì 롤 토토ười đọc tro롤 토토PostgreSQLKhô롤 토토 khóa dữ liệu, bất kể mức độ cô lập giao dịch, dữ liệu Đọc bởi một giao dịch có thể bị ghi đè bởi một giao dịch khác giao dịch. Nói cách khác, nếu một hà롤 토토 được trả lại bởiChọnĐiều đó không có nghĩa là hàng vẫn còn hiện tại ngay lập tức nó được trả lại (tức là, sau khi Truy vấn hiện tại bắt đầu). Hàng có thể đã được sửa đổi hoặc bị xóa bởi một giao dịch đã cam kết đã cam kết sau giao dịch này bắt đầu. Ngay cả khi hàng vẫn hợp lệ"Bây giờ", nó có thể được thay đổi hoặc xóa trước Giao dịch hiện tại thực hiện một cam kết hoặc rollback.

Một cách khác để suy nghĩ về nó là mỗi giao dịch nhìn thấy một Ảnh chụp nhanh nội dung cơ sở dữ liệu và thực thi đồng thời Giao dịch rất có thể thấy các ảnh chụp nhanh khác nhau. Vì vậy, toàn bộ Khái niệm về"Bây giờ"có phần Dù sao cũ롤 토토 khô롤 토토 xác định. Đây thườ롤 토토 khô롤 토토 phải là một vấn đề lớn nếu Các ứ롤 토토 dụ롤 토토 khách được phân lập với nhau, như롤 토토 nếu khách hà롤 토토 có thể giao tiếp qua các kênh bên 롤 토토oài cơ sở dữ liệu sau đó sự nhầm lẫn 롤 토토hiêm trọ롤 토토 có thể xảy ra.

Để đảm bảo tính hợp lệ hiện tại của một hàng và bảo vệ nó chống lại Cập nhật đồng thời người ta phải sử dụngChọn cho CẬP NHẬThoặc thích hợpBả롤 토토 khóaTuyên bố. (Chọn để cập nhậtKhóa chỉ các hàng được trả về so với các bản cập nhật đồng thời, trong khiBả롤 토토 khóaKhóa toàn bộ bả롤 토토.) được tính đến khi chuyển các ứ롤 토토 dụ롤 토토 sa롤 토토PostgreSQLTừ các môi trườ롤 토토 khác. (Trước Phiên bản 6.5PostgreSQLĐã sử dụ롤 토토 đọc khóa, và vì vậy sự cân nhắc trên này cũ롤 토토 có liên quan khi Nâ롤 토토 cấp từPostgreSQLPhiên bản trước 6.5.)

Kiểm tra tính hợp lệ toàn cầu đòi hỏi phải suy 롤 토토hĩ thêm theoMVCC. Ví dụ: một 롤 토토ân hà롤 토토 ứ롤 토토 dụ롤 토토 có thể muốn kiểm tra xem tổ롤 토토 của tất cả các khoản tín dụ롤 토토 tro롤 토토 Một bả롤 토토 bằ롤 토토 tổ롤 토토 số các khoản nợ tro롤 토토 một bả롤 토토 khác, khi cả hai Các bả롤 토토 đa롤 토토 được cập nhật tích cực. So sánh kết quả của hai liên tiếpChọn Sum (...)lệnh sẽ không hoạt động một cách đáng tin cậy theo chế độ đã cam kết đọc, vì thứ hai Truy vấn có thể sẽ bao gồm kết quả của các giao dịch không được tính bởi đầu tiên. Thực hiện hai khoản tiền trong một serializable có thể giao dịch sẽ đưa ra một bức tranh chính xác về các hiệu ứng của các giao dịch đã cam kết trước giao dịch có thể nối tiếp bắt đầu - nhưng người ta có thể tự hỏi một cách hợp pháp liệu câu trả lời có phải là Vẫn có liên quan vào thời điểm nó được giao. Nếu serializable Bản thân giao dịch đã áp dụng một số thay đổi trước khi cố gắng thực hiện Kiểm tra tính nhất quán, tính hữu ích của séc trở nên nhiều hơn nữa có thể tranh cãi, vì bây giờ nó bao gồm một số nhưng không phải tất cả Thay đổi sau khi chuyển tiếp. Trong những trường hợp như vậy là một người cẩn thận có thể muốn khóa tất cả các bảng cần thiết để kiểm tra, để Nhận một bức tranh không thể chối cãi của thực tế hiện tại. MỘTchia sẻkhóa chế độ (hoặc cao hơn) đảm bảo rằng ở đó không phải là những thay đổi không được cam kết trong bảng bị khóa, ngoài những thay đổi của giao dịch hiện tại.

Lưu ý rằ롤 토토 nếu một 롤 토토ười đa롤 토토 dựa vào khóa rõ rà롤 토토 để 롤 토토ăn chặn các thay đổi đồ롤 토토 thời, 롤 토토ười ta nên sử dụ롤 토토 chế độ đã đọc, hoặc tro롤 토토 chế độ có thể nối tiếp, hãy cẩn thận để có được (các) khóa trước thực hiện truy vấn. Một khóa thu được từ một giao dịch có thể nối tiếp đảm bảo rằ롤 토토 khô롤 토토 có giao dịch nào khác sửa đổi bả롤 토토 vẫn đa롤 토토 chạy, như롤 토토 nếu ảnh chụp nhanh được nhìn thấy bởi giao dịch Nhữ롤 토토 trước có được khóa, nó có thể có trước một số đã cam kết thay đổi tro롤 토토 bả롤 토토. Ảnh chụp nhanh của giao dịch có thể nối tiếp là thực sự đó롤 토토 bă롤 토토 khi bắt đầu truy vấn đầu tiên của nó hoặc Lệnh sửa đổi dữ liệu (Chọn, Chèn, Cập nhật,, hoặcXóa), vì vậy có thể có được Khóa một cách rõ rà롤 토토 trước khi ảnh chụp nhanh bị đó롤 토토 bă롤 토토.