PostgreSQL中Tuple可見性判斷的基本邏輯是什么

這篇文章主要介紹“PostgreSQL中Tuple可見性判斷的基本邏輯是什么”，在日常操作中，相信很多人在PostgreSQL中Tuple可見性判斷的基本邏輯是什么問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”PostgreSQL中Tuple可見性判斷的基本邏輯是什么”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

判斷邏輯
((Xmin == my-transaction &&　　　　　　　inserted by the current transaction
　Cmin < my-command &&　　　　　　　　　　before this command, and
　(Xmax is null ||　　　　　　　　　　　　the row has not been deleted, or
　　(Xmax == my-transaction &&　　　　　　it was deleted by the current transaction
　　　Cmax >= my-command)))　　　　　　　but not before this command,
||　　　　　　　　　　　　　　　　　　　　　or
　(Xmin is committed &&　　　　　　　　　　the row was inserted by a committed transaction, and
　　(Xmax is null ||　　　　　　　　　　　　the row has not been deleted, or
　　　(Xmax == my-transaction &&　　　　　the row is being deleted by this transaction
　　　　Cmax >= my-command) ||　　　　　　but it’s not deleted “yet”, or
　　　　(Xmax != my-transaction &&　　　　the row was deleted by another transaction
　　　　　Xmax is not committed))))　　　　that has not been committed

其中,my-command在PG中通過cmin/cmax體現.
cmin/cmax
如下例所示,游標在刪除命令前定義,因此Tuple可見.

10:51:21 (xdb@[local]:5432)testdb=# DELETE FROM mvcc_demo;
DELETE 3
10:51:22 (xdb@[local]:5432)testdb=# 
10:51:22 (xdb@[local]:5432)testdb=# BEGIN WORK;
BEGIN
10:51:22 (xdb@[local]:5432)testdb=#* INSERT INTO mvcc_demo VALUES (1);
INSERT 0 1
10:51:22 (xdb@[local]:5432)testdb=#* INSERT INTO mvcc_demo VALUES (2);
INSERT 0 1
10:51:22 (xdb@[local]:5432)testdb=#* INSERT INTO mvcc_demo VALUES (3);
INSERT 0 1
10:51:22 (xdb@[local]:5432)testdb=#* SELECT xmin, cmin, xmax, cmax, * FROM mvcc_demo;
 xmin | cmin | xmax | cmax | val 
------+------+------+------+-----
 2400 |    0 |    0 |    0 |   1
 2400 |    1 |    0 |    1 |   2
 2400 |    2 |    0 |    2 |   3
(3 rows)
10:51:23 (xdb@[local]:5432)testdb=#* DECLARE c_mvcc_demo CURSOR FOR
[local] xdb@testdb-# SELECT xmin, cmin, xmax, cmax, * FROM mvcc_demo; --> 定義游標
DECLARE CURSOR
10:51:34 (xdb@[local]:5432)testdb=#* DELETE FROM mvcc_demo; --> 刪除數據
DELETE 3
10:51:34 (xdb@[local]:5432)testdb=#* SELECT xmin, cmin, xmax, cmax, * FROM mvcc_demo;
 xmin | cmin | xmax | cmax | val 
------+------+------+------+-----
(0 rows)
10:51:35 (xdb@[local]:5432)testdb=#* FETCH ALL FROM c_mvcc_demo; --> 游標在刪除命令前定義,因此可見
 xmin | cmin | xmax | cmax | val 
------+------+------+------+-----
 2400 |    0 | 2400 |    0 |   1
 2400 |    1 | 2400 |    1 |   2
 2400 |    2 | 2400 |    2 |   3
(3 rows)

到此，關于“PostgreSQL中Tuple可見性判斷的基本邏輯是什么”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注億速云網站，小編會繼續努力為大家帶來更多實用的文章！