PostgreSQL 索引唯一性檢查

如果一個(gè)有沖突的合法行已被當(dāng)前事務(wù)刪除，這是可以的（特別是因?yàn)橐粋€(gè) UPDATE 總是在插入新版本之前刪除舊版本，這樣就允許一個(gè)行上的UPDATE 不改變鍵）。

如果一個(gè)有沖突的行已經(jīng)被還未提交的事務(wù)插入，那么準(zhǔn)備插入的事務(wù)必須等待看看前面那個(gè)事務(wù)是否提交。如果它回滾額不會(huì)有沖突。如果它提交并且沒有刪除存在沖突的行，則有一個(gè)唯一性違背（實(shí)際上我們只是等待那個(gè)其他事務(wù)結(jié)束，然后在全部事務(wù)里重做可見性檢查）。

類似的，如果一個(gè)有沖突的有效行被一個(gè)準(zhǔn)備提交的事務(wù)刪除，那么另外一個(gè)準(zhǔn)備插入的事務(wù)必須等待該事務(wù)提交或者退出，然后重做測(cè)試。

UNIQUE_CHECK_NO表明不需要做唯一性檢測(cè)（這不是一個(gè)唯一索引）。

如上所述，UNIQUE_CHECK_YES表明有一個(gè)不可延遲的唯 一索引，并且必須立即做唯一性檢測(cè)。

UNIQUE_CHECK_PARTIAL表明唯一性約束是可延遲的。PostgreSQL將會(huì)用這個(gè)模式來插入每一行的索引項(xiàng)。訪問方法必須允許重復(fù)的項(xiàng)進(jìn)入索引，并且通過從 aminsert返回 FALSE 來報(bào)告任何可能的重復(fù)。對(duì)于返回 FALSE 的每一行，將計(jì)劃一個(gè)延遲的重新檢查。

訪問方法必須能夠標(biāo)識(shí)任何可能違反唯一約束的行，但是對(duì)它來說假陽(yáng)性報(bào)告不是錯(cuò)誤。這樣就允許檢查不用等到其他事務(wù)都結(jié)束；這里報(bào)告的沖突不會(huì)被當(dāng)做錯(cuò)誤來看待，并且隨后將會(huì)被重新檢查，而到那時(shí)它們可能不再是沖突了。

UNIQUE_CHECK_EXISTING表明這是一個(gè)行的延遲重新檢查，該行被報(bào)告為一個(gè)潛在的唯一性違背。盡管這會(huì)通過調(diào)用aminsert來實(shí)現(xiàn)，在這種情況下這個(gè)訪問方法不能插入一個(gè)新索引項(xiàng)。該索引項(xiàng)已經(jīng)存在。 當(dāng)然，訪問方法必須檢查是否有另一個(gè)活著的索引項(xiàng)。如果有，并且如果目標(biāo)行也仍然存活，那么報(bào)告錯(cuò)誤。

我們推薦，在一個(gè)UNIQUE_CHECK_EXISTING調(diào)用中，訪問方法進(jìn)一步驗(yàn)證目標(biāo)行真的在索引中有一個(gè)現(xiàn)有的項(xiàng)，并且如果不是這樣就報(bào)錯(cuò)。這是個(gè)好主意，因?yàn)楸粋鞯?code class="function">aminsert的索引元組值將已經(jīng)被重新計(jì)算過。如果索引定義涉及不是真正不變的函數(shù)，我們可能正在檢查索引的錯(cuò)誤區(qū)域。對(duì)重新檢查中找到的目標(biāo)行的檢查會(huì)驗(yàn)證我們正在掃描之前被用于原始插入的同一元組值。