Zgodność typów w JOIN

Zgodność typów w JOIN wpływa na to, czy optymalizator może wykorzystać dostępne indeksy złączanych kolumn.

Dlaczego typ kolumny zmienia plan złączenia

Zgodność typów w klauzuli JOIN oznacza, że porównywane kolumny mają wartości, które silnik bazy może zestawić bez niejednoznacznej lub kosztownej konwersji. Przykładowo kolumna identyfikatora przechowywana jako liczba całkowita powinna być łączona z kolumną o zgodnym typie liczbowym, a klucz tekstowy z kolumną tekstową o odpowiedniej długości, kodowaniu i regułach porównywania. Sama zgodność znaczeniowa nazw kolumn nie wystarcza, ponieważ optymalizator analizuje również sposób reprezentacji danych oraz wymagane operacje konwersji.

Jeżeli typy są zgodne, porównanie może zostać wykonane bez dodatkowego przeliczania każdej wartości. W takiej sytuacji indeks założony na kolumnie uczestniczącej w złączeniu może zostać wykorzystany do wyszukania pasujących rekordów. Gdy jedna strona porównania musi zostać jawnie albo niejawnie przekonwertowana, optymalizator może nadal znaleźć poprawny plan, ale może też uznać, że odczyt indeksu jest nieopłacalny lub niemożliwy w danym wariancie planu.

Konwersja jawna i niejawna w warunku JOIN

Problem pojawia się często wtedy, gdy jedna tabela przechowuje identyfikator jako typ numeryczny, a druga jako tekst. Warunek łączący może wyglądać logicznie, lecz porównanie wymaga wtedy przekształcenia jednej wartości. Konwersja tekstu na liczbę może dodatkowo zakończyć się błędem, jeśli w kolumnie znajdują się znaki nienumeryczne, spacje lub inne dane, których nie można zamienić na wymagany typ. Konwersja liczby na tekst zwykle nie powoduje tego samego rodzaju błędu, ale może zmienić sposób wykorzystania indeksu, długość porównywanych wartości oraz koszty wykonania.

Jawne rzutowanie typu porządkuje zapytanie i pokazuje, po której stronie ma nastąpić konwersja. Nie usuwa jednak kosztu tej operacji. Jeżeli funkcja konwersji jest wykonywana dla każdej wartości w dużej tabeli, silnik może najpierw przeskanować znaczną część danych, a dopiero potem porównywać wyniki. W praktyce właściwym rozwiązaniem jest ujednolicenie typu klucza w schemacie tabel, a nie dodawanie rzutowania do każdego zapytania. Gdy zmiana schematu nie jest możliwa, trzeba sprawdzić plan wykonania i zweryfikować, która kolumna jest przeliczana.

Indeksy, selektywność i koszt odczytu rekordów

Indeks na kolumnie używanej w JOIN nie gwarantuje automatycznie szybkiego zapytania. Optymalizator bierze pod uwagę między innymi liczbę rekordów, rozkład wartości, selektywność warunku, dostępne statystyki oraz przewidywany koszt odczytu. Niezgodność typów może pogorszyć sytuację, ponieważ porównanie nie odbywa się bezpośrednio na oryginalnych wartościach indeksu. W rezultacie plan może użyć skanowania tabeli, skanowania indeksu albo innego sposobu łączenia zamiast wyszukiwania po kluczu.

Znaczenie ma także zakres typu. Łączenie liczby całkowitej z typem o większym zakresie może powodować konwersję do szerszego typu. Porównywanie kolumn tekstowych może wymagać zgodnego kodowania i porządku sortowania; różne reguły porównywania mogą wymusić dodatkową operację albo uniemożliwić bezpośrednie użycie indeksu. W przypadku wartości dziesiętnych należy uwzględnić precyzję i skalę, ponieważ dwa pola opisujące kwotę mogą przechowywać liczby o różnej dokładności. Daty, znaczniki czasu i tekstowe reprezentacje dat również nie powinny być mieszane bez świadomego określenia formatu i sposobu konwersji.

Ocena problemu powinna obejmować rzeczywisty plan wykonania, a nie tylko tekst zapytania. W planie należy szukać operatorów konwersji, ostrzeżeń o niejawnym przekształceniu oraz różnicy między przewidywaną a faktyczną liczbą rekordów. Duża rozbieżność może wskazywać nie tylko na niezgodność typów, lecz także na nieaktualne statystyki, duplikaty kluczy lub brak selektywnego indeksu. Zmiana typu kolumny albo dodanie indeksu wymaga ponownego pomiaru czasu, liczby odczytanych stron i liczby zwróconych wierszy.

Ujednolicanie kluczy przed naprawą zapytania

Najbezpieczniej jest ustalić jeden typ dla każdej pary kolumn pełniących funkcję klucza głównego i klucza obcego. Obejmuje to nie tylko rodzaj danych, lecz także zakres wartości, długość pól tekstowych, kodowanie oraz zasady porównywania. Warto sprawdzić definicje obu tabel, wartości odstające i istniejące indeksy. Jeżeli klucz tekstowy zawiera liczby z wiodącymi zerami, zamiana go na liczbę zmieniłaby znaczenie danych, dlatego nie można podejmować takiej decyzji wyłącznie na podstawie podobnego wyglądu wartości.

W serwisowym środowisku laptopa lub komputera PC diagnoza może polegać na porównaniu definicji tabel, analizie planu wykonania i pomiarze zapytania przed oraz po korekcie. Trzeba również sprawdzić warunki INNER JOIN i LEFT JOIN, ponieważ konwersja nie zmienia tylko wydajności: nieudana konwersja, różne zasady porównywania albo wartości NULL mogą wpływać na to, które wiersze zostaną dopasowane. Warszawskie Pogotowie Komputerowe zajmuje się profesjonalną naprawą laptopów i komputerów PC, w tym diagnostyką problemów z oprogramowaniem oraz podzespołami wpływającymi na działanie aplikacji bazodanowych.