Unicitatea în PostgreSQL depinde de egalitatea folosită în interogare

Un index unic oferă o dovadă despre comparațiile pe care le impune. Înainte ca planificatorul de interogări să folosească această dovadă pentru a deduce că o căutare poate găsi cel mult un rând, regulile de egalitate ale interogării trebuie să permită aceeași concluzie. La compararea textelor, această condiție contează: colația poate stabili ce șiruri sunt egale, pe lângă ordinea lor.

Notele versiunii PostgreSQL 18.4, datate 14 mai 2026, descriu corectarea unor presupuneri de unicitate care implică colații nedeterministe. Notele versiunii explică faptul că indexul unic și condiția interogării pot folosi colații diferite, ceea ce face nesigură deducția unei singure potriviri. Anunțul din aceeași zi consemnează lansarea istorică de mentenanță. Sunt două documente despre aceeași lansare, nu descoperiri independente ale problemei.

Principiul util pentru proiectare este să stabiliți regulile egalității înainte de a vă baza pe o optimizare. Un plan rapid are valoare doar dacă transformările lui păstrează răspunsul cerut de interogare.

Ce anume dovedește unicitatea

Luați ca exemplu ipotetic o aplicație care stochează identificatori ca text, dar oferă și o căutare tolerantă pentru persoanele care îi introduc. Regulile de stocare pot deosebi forme pe care căutarea le consideră echivalente. În această situație, aplicația răspunde la două întrebări diferite: dacă un identificator stocat este distinct și dacă un termen de căutare i se potrivește.

O constrângere de unicitate poate răspunde la prima întrebare potrivit propriilor reguli de comparare. Simpla ei existență nu răspunde la a doua întrebare, dacă regulile diferă. Când o căutare mai permisivă grupează mai multe valori stocate, unicitatea de la stocare nu dovedește că acea căutare întoarce numai una. Exemplul ilustrează un raționament; nu descrie o interogare executată sau o configurație anume de colație.

Distincția contează chiar dacă aplicația primește, de obicei, identificatori exacți. O funcție de căutare mai comodă, o setare explicită de comparare sau o modificare ulterioară a interpretării textului poate introduce altă relație de egalitate. Valoarea vizibilă din coloană nu explică singură regulile aplicației. Trebuie să știți și cum o compară operația respectivă.

Dovada precedă alegerea unui plan mai ieftin

Notele versiunii explică faptul că egalitatea șirurilor, în cazul colațiilor deterministe, impune egalitatea la nivel de biți. Această proprietate permite deducția respectivă chiar dacă regulile de ordonare diferă. Ele explică și de ce o colație nedeterministă de oricare dintre părți poate invalida presupunerea unei singure potriviri atunci când sensul comparațiilor diferă. Afirmația privește validitatea unei deducții; nu dovedește că toate indexurile pe text sunt defecte.

Pentru a analiza o aplicație, începeți prin a preciza ce înseamnă o căutare reușită. Selectează un identificator stocat exact sau toate înregistrările care corespund unei comparații mai comode pentru cititor? Dacă a doua variantă poate găsi mai multe înregistrări, interfața are nevoie de o regulă pentru ele. Alegerea primului rezultat fără o regulă explicită ar ascunde ambiguitatea.

Identificați apoi locurile unde aplicația se bazează pe o singură potrivire. Un ecran de alegere a contului și o operație internă de reconciliere pot citi aceeași coloană, dar pot avea nevoie de comportamente diferite. Verificați dacă presupunerea de unicitate rămâne valabilă în fiecare loc. Deciziile de performanță vin după această explicație, deoarece o execuție mai ieftină nu repară o premisă greșită.

Compararea deterministă poate fi alegerea potrivită

Cel mai puternic contraargument este practic: mulți identificatori au nevoie de identitate exactă. O colație deterministă poate corespunde mai bine acestei cerințe și poate permite scurtături ale planificatorului ale căror condiții sunt îndeplinite. Introducerea unei egalități tolerante pentru un identificator destinat programelor nu aduce un avantaj doar pentru că baza de date o permite.

Alegerea ar trebui să urmeze regulile produsului. Dacă utilizatorilor li se promite că două forme desemnează același cont, trecerea la o comparație mai strictă numai pentru a recupera o optimizare poate încălca promisiunea. Invers, tratarea unor identificatori externi distincți ca interschimbabili poate fi greșită, chiar dacă simplifică o căutare. Definiți întâi identificatorul, apoi comportamentul comparației.

Poate fi util să separați căutarea de selectare. Căutarea poate propune mai multe rezultate plauzibile, iar operația următoare poate folosi identificatorul exact ales de utilizator. Astfel, căutarea tolerantă nu ajunge să decidă implicit identitatea unui obiect de afaceri unic. Este o opțiune de arhitectură, nu o cerință pentru orice câmp text.

Analizați schimbările fără generalizări

La mentenanță, ar trebui să deosebiți o corecție a bazei de date sau a cadrului software de migrarea unei aplicații. Corecția PostgreSQL privește raționamentul planificatorului. Modificarea regulilor de comparare ale unei coloane este o decizie de produs separată, care influențează valorile pe care utilizatorii le pot deosebi. Una nu o justifică automat pe cealaltă.

Pentru analiză ar fi utile definițiile coloanei și ale indexului, comparația folosită de interogare și regula de afaceri care cere o singură potrivire. Aceste documente permit evaluarea premisei. O captură de ecran cu un singur rezultat în utilizarea obișnuită nu ar dovedi unicitatea pentru toate intrările permise.

Articolul nu prezintă măsurători de performanță sau execuții într-o bază de date. Lansarea istorică oferă un motiv pentru examinarea unei presupuneri, nu un diagnostic pentru o instalare nespecificată. Consecințele pentru o aplicație cer dovezi din schema și interogările ei.

Când planificați mentenanța software, includeți regulile de comparare în documentele de predare. Notați ce valori trebuie să rămână distincte, unde este permisă căutarea tolerantă și ce se întâmplă când găsește mai mulți candidați. Astfel, schimbările viitoare au o condiție concretă de corectitudine. După stabilirea ei, echipa poate analiza scurtăturile valide și dovezile de performanță de care are nevoie.