R-drzewa. Realizowane funkcje: Struktura węzłów R-drzewa



Podobne dokumenty
Drzewa ćwiartek (ang. Quadtree) i R-drzewa (ang. R-tree)

Przykładowe B+ drzewo

Definicja pliku kratowego

PRZYSPIESZENIE KNN. Ulepszone metody indeksowania przestrzeni danych: R-drzewo, R*-drzewo, SS-drzewo, SR-drzewo.

Tadeusz Pankowski

< K (2) = ( Adams, John ), P (2) = adres bloku 2 > < K (1) = ( Aaron, Ed ), P (1) = adres bloku 1 >

Drzewa binarne. Drzewo binarne to dowolny obiekt powstały zgodnie z regułami: jest drzewem binarnym Jeśli T 0. jest drzewem binarnym Np.

Porządek symetryczny: right(x)

Podstawy Informatyki. Metody dostępu do danych

Wysokość drzewa Głębokość węzła

Indeksy. Wprowadzenie. Indeksy jednopoziomowe indeks podstawowy indeks zgrupowany indeks wtórny. Indeksy wielopoziomowe

Bazy danych - BD. Indeksy. Wykład przygotował: Robert Wrembel. BD wykład 7 (1)

Algorytmy i struktury danych. Co dziś? Tytułem przypomnienia metoda dziel i zwyciężaj. Wykład VIII Elementarne techniki algorytmiczne

Kompresja danych Streszczenie Studia Dzienne Wykład 10,

Drzewo. Drzewo uporządkowane ma ponumerowanych (oznaczonych) następników. Drzewo uporządkowane składa się z węzłów, które zawierają następujące pola:

PLAN WYKŁADU BAZY DANYCH INDEKSY - DEFINICJE. Indeksy jednopoziomowe Indeksy wielopoziomowe Indeksy z użyciem B-drzew i B + -drzew

ZASADY PROGRAMOWANIA KOMPUTERÓW ZAP zima 2014/2015. Drzewa BST c.d., równoważenie drzew, kopce.

Programowanie w VB Proste algorytmy sortowania

Algorytmy i Struktury Danych, 2. ćwiczenia

Algorytmy równoległe: ocena efektywności prostych algorytmów dla systemów wielokomputerowych

Podstawowe algorytmy i ich implementacje w C. Wykład 9

Drzewa BST i AVL. Drzewa poszukiwań binarnych (BST)

Drzewa poszukiwań binarnych

prowadzący dr ADRIAN HORZYK /~horzyk tel.: Konsultacje paw. D-13/325

Algorytmy równoległe: prezentacja i ocena efektywności prostych algorytmów dla systemów równoległych

6. Organizacja dostępu do danych przestrzennych

Modelowanie hierarchicznych struktur w relacyjnych bazach danych

Data Mining Wykład 5. Indukcja drzew decyzyjnych - Indeks Gini & Zysk informacyjny. Indeks Gini. Indeks Gini - Przykład

Wstęp do programowania. Drzewa. Piotr Chrząstowski-Wachtel

Indeksy. Schematyczne ujęcie organizacji pamięci i wymiany danych systemu pamiętania.

Bazy danych. Andrzej Łachwa, UJ, /15

Kolejka priorytetowa. Często rozważa się kolejki priorytetowe, w których poszukuje się elementu minimalnego zamiast maksymalnego.

Algorytmy i. Wykład 5: Drzewa. Dr inż. Paweł Kasprowski

Algorytmy równoległe. Rafał Walkowiak Politechnika Poznańska Studia inżynierskie Informatyka 2010

Wykład 2. Drzewa zbalansowane AVL i 2-3-4

Algorytmy i Struktury Danych

Algorytmy równoległe: ocena efektywności prostych algorytmów dla systemów wielokomputerowych

Każdy węzeł w drzewie posiada 3 pola: klucz, adres prawego potomka i adres lewego potomka. Pola zawierające adresy mogą być puste.

Algorytmy i Struktury Danych

Algorytmy i struktury danych. Drzewa: BST, kopce. Letnie Warsztaty Matematyczno-Informatyczne

Uniwersytet Zielonogórski Instytut Sterowania i Systemów Informatycznych. Algorytmy i struktury danych Laboratorium 7. 2 Drzewa poszukiwań binarnych

Algorytmy i Struktury Danych

Drzewa spinające MST dla grafów ważonych Maksymalne drzewo spinające Drzewo Steinera. Wykład 6. Drzewa cz. II

Teoretyczne podstawy informatyki

Sortowanie bąbelkowe

Algorytmy i Struktury Danych. Co dziś? Drzewo decyzyjne. Wykład IV Sortowania cd. Elementarne struktury danych

SYSTEMY UCZĄCE SIĘ WYKŁAD 3. DRZEWA DECYZYJNE. Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska.

Algorytmy Równoległe i Rozproszone Część V - Model PRAM II

SYSTEMY UCZĄCE SIĘ WYKŁAD 4. DRZEWA REGRESYJNE, INDUKCJA REGUŁ. Dr hab. inż. Grzegorz Dudek Wydział Elektryczny Politechnika Częstochowska

Przypomnij sobie krótki wstęp do teorii grafów przedstawiony na początku semestru.


Algorytmy i Struktury Danych, 2. ćwiczenia

Jeszcze o algorytmach

Plan wykładu. Klucz wyszukiwania. Pojęcie indeksu BAZY DANYCH. Pojęcie indeksu - rodzaje indeksów Metody implementacji indeksów.

liniowa - elementy następują jeden za drugim. Graficznie możemy przedstawić to tak:

wykład Organizacja plików Opracował: dr inż. Janusz DUDCZYK

Analiza algorytmów zadania podstawowe

Podstawy programowania 2. Temat: Drzewa binarne. Przygotował: mgr inż. Tomasz Michno

Wykład 3. Złożoność i realizowalność algorytmów Elementarne struktury danych: stosy, kolejki, listy

operacje porównania, a jeśli jest to konieczne ze względu na złe uporządkowanie porównywanych liczb zmieniamy ich kolejność, czyli przestawiamy je.

Wykład 5 Dopasowywanie lokalne

Struktury danych: stos, kolejka, lista, drzewo

Wstęp do programowania

Algorytmy i struktury danych. wykład 5

Drzewa poszukiwań binarnych

Wykład 6. Drzewa poszukiwań binarnych (BST)

Wstęp do programowania. Drzewa podstawowe techniki. Piotr Chrząstowski-Wachtel

dodatkowe operacje dla kopca binarnego: typu min oraz typu max:

E: Rekonstrukcja ewolucji. Algorytmy filogenetyczne

Teoretyczne podstawy informatyki

Optymalizacja. Przeszukiwanie lokalne

Sortowanie. Kolejki priorytetowe i algorytm Heapsort Dynamiczny problem sortowania:

Algorytmy i złożoności. Wykład 3. Listy jednokierunkowe

CLUSTERING II. Efektywne metody grupowania danych

Strategia "dziel i zwyciężaj"

TEORETYCZNE PODSTAWY INFORMATYKI

Algorytmy sortujące i wyszukujące

Data Mining Wykład 9. Analiza skupień (grupowanie) Grupowanie hierarchiczne O-Cluster. Plan wykładu. Sformułowanie problemu

Algorytmy i struktury danych

Algorytmy zrandomizowane

Algorytmy i Struktury Danych.

Struktury danych i złożoność obliczeniowa Wykład 2. Prof. dr hab. inż. Jan Magott

Algorytmy i struktury danych. Wykład 6 Tablice rozproszone cz. 2

Indukowane Reguły Decyzyjne I. Wykład 3

Luty 2001 Algorytmy (4) 2000/2001

Podstawowe własności grafów. Wykład 3. Własności grafów

Grafem nazywamy strukturę G = (V, E): V zbiór węzłów lub wierzchołków, Grafy dzielimy na grafy skierowane i nieskierowane:

Podstawy programowania. Wykład 7 Tablice wielowymiarowe, SOA, AOS, itp. Krzysztof Banaś Podstawy programowania 1

EGZAMIN - Wersja A. ALGORYTMY I STRUKTURY DANYCH Lisek89 opracowanie kartki od Pani dr E. Koszelew

Heurystyczne metody przeszukiwania

STRUKTURY DANYCH I ZŁOŻONOŚĆ OBLICZENIOWA STRUKTURY DANYCH I ZŁOŻONOŚĆ OBLICZENIOWA. Część 3. Drzewa Przeszukiwanie drzew

Sztuczna Inteligencja i Systemy Doradcze

PODSTAWY BAZ DANYCH Wykład 6 4. Metody Implementacji Baz Danych

B jest globalnym pokryciem zbioru {d} wtedy i tylko wtedy, gdy {d} zależy od B i nie istnieje B T takie, że {d} zależy od B ;

Drzewa wyszukiwań binarnych (BST)

Rozwiązywanie problemów metodą przeszukiwania

Algorytmy i Struktury Danych. Anna Paszyńska

Rekurencja. Dla rozwiązania danego problemu, algorytm wywołuje sam siebie przy rozwiązywaniu podobnych podproblemów. Przykład: silnia: n! = n(n-1)!

Algorytmy i Struktury Danych.

Transkrypt:

R-drzewa R-drzewa są dynamicznymi strukturami danych służącymi do wyszukiwania obiektów wielowymiarowych (niepunktowych!!!) w przestrzeni wielowymiarowej. W R-drzewach obiekty wielowymiarowe są aproksymowane za pomocą minimalnych regionów pokrywających (MBR minimum bounding rectangle). Realizowane funkcje: Zapytania punktowe: Znajdź identyfikatory obiektów przestrzennych, których MBR zawiera punkt P Zapytania regionowe: Znajdź identyfikatory obiektów przestrzennych, których MBR ma część wspólną z regionem R Najbliższy sąsiad: ZnajdźNN identyfikatory obiektów przestrzennych, których MBR są najmniej oddalone od punktu P Struktura węzłów R-drzewa struktura węzłów pośrednich: ((MBR 1, p 1 ), (MBR 2, p 2 ),..., (MBR n, p n )), gdzie: n (m, M), M jest maksymalnym, a m jest minimalnym wypełnieniem węzłów i m = M/2 ; z wyjątkiem korzenia, dla którego m = 2; struktura liści: ((MBR 1, oid 1 ), (MBR 2, oid 2 ),..., (MBR n, p n )), gdzie oid jest wskaźnikiem na indeksowany obiekt.

Charakterystyka R-drzewa 1. Wszystkie liście znajdują się na tym samym poziomie drzewa jest to drzewo zrównoważone. 2. Regiony znajdujące się w liściach są najmniejszymi z regionów obejmujących przestrzennie indeksowane obiekty. 3. Regiony znajdujące się w węzłach wewnętrznych są najmniejszymi z regionów obejmujących przestrzennie wszystkie regiony węzłów potomnych. 4. Regiony znajdujące się w tym samym węźle R-drzewa mogą siępokrywać. R x R y... R A... R x R y R z R A R z 5. Suma wszystkich regionów znajdujących się w danym węźle nie musi tworzyć regionu i w konsekwencji nie musi być równa zawierającemu je regionowi w węźle rodzicielskim. Dwie ostatnie własności są konsekwencją faktu, że podział przepełnionych węzłów nie polega na podziale regionu, lecz na pogrupowaniu regionów składowych i wyznaczeniu dla nich MBR.

Przykład B kształt X obiektu 1 Z obiekt 3 M K Y obiekt 2 A L punkt P A B... K L M... X Y Z... obiekt_1 obiekt_2 obiekt_3

Wyszukiwanie danych za pomocą R-drzew Procedura Search (T, R s ) (gdzie T jest korzeniem drzewa, a R s jest regionem zapytania) (S1) Jeżeli T nie jest liściem, sprawdź dla każdej pary (R i, P i ), czy region R i pokrywa się częściowo z regionem R s. Jeżeli tak, to dla takiego regionu wywołaj rekurencyjnie funkcję Search (P i, R s ). Jeżeli region R s nie ma części wspólnej z żadnym z regionów zakończ poszukiwanie wzdłuż danej ścieżki. (S2) Jeżeli T jest liściem, sprawdź dla każdej pary (R i, oid i ), czy region R i pokrywa się częściowo z regionem R s. Jeżeli tak, to umieść oid i w zbiorze wynikowy procedury. Operacja wyszukiwania danych w R-drzewach charakteryzuje się stosunkowo niską efektywnością, ponieważ w przypadku, gdy poszukiwany region znajdują się w obszarze należącym do kilku regionów tego samego poziomu szukanie może przebiegać wzdłuż wielu równoległych ścieżek. Przykład: znajdź obiekt zawierający punkt P. A B...... K L M...

Utrzymywanie R-drzew Procedura Insert (r) Wstaw do R-drzewa rekord indeksu r(r, oid). (I1) Znajdź właściwa pozycję dla nowego rekordu indeksu: (I1.1) Pod L podstaw identyfikator strony dyskowej zawierającej korzeń drzewa. (I1.2) Jeżeli L jest liściem, to przejdź do kroku (I2). (I1.3) Jeżeli L nie jest liściem, przeszukaj go w celu znalezienia pozycji (R i, P i ), której region R i wymaga najmniejszego powiększenia dla całkowitego pokrycia regionu R. Jeżeli wynik poszukiwania nie jest jednoznaczny, wybierz najmniejszy region R i. (I1.4) Pod L podstaw P i i wróć do kroku (I1.2). R i R R j

Procedura Insert (r) (I2) Dodaj rekord (R, oid) do L. Jeżeli w L jest wystarczająca ilość wolnego miejsca, przejdź do kroku (I3). Jeżeli nie, podziel L za pomocą procedury SplitNode, która utworzy nowy liść L i rozmieści równomiernie rekordy liścia L i wstawiany rekord r w liściach L i L. (I3) Zmodyfikuj regiony R-drzewa: (I3.1) Jeżeli L jest korzeniem i L jest puste zakończ procedurę. (I3.2) Jeżeli nie, pod P podstaw identyfikator węzła rodzicielskiego dla węzła L. Jeżeli L jest korzeniem utwórz nowy węzeł, który będzie pełnił rolę korzenia i podstaw jego identyfikator pod P. Zmodyfikuj region R L, tak, aby był to MBR dla regionów składowych węzła L. (I3.3) Jeżeli węzeł L był dzielony, dodaj do P nową parę (R L, L ), gdzie R L jest MBR regionów składowych węzła L. Jeżeli w P jest wystarczająca ilość wolnego miejsca, przejdź do kroku (I3.4). Jeżeli nie, podziel węzeł P za pomocą procedury SplitNode, która utworzy nowy liść P i rozmieści równomiernie pozycje węzła P i parę (R L, L ) w węzłach P i P. (I3.4) Pod L podstaw P i jeżeli P wymagało podziału pod, pod L podstaw P. Wróć do kroku (I3.1).

Procedura podziału węzła Kryterium jakości podziału: minimalizacja sumarycznego pokrycia B 1 B 4 B2 A 3 przypadek (1) A 2 A 4 B 3 B A 1 A B 1 B 4 przypadek (2) B2 A 2 A 4 A 3 B 3 B A 1 A

Algorytm SplitNode Złożoność algorytmu, gwarantującego równomierny podział zbioru regionów składowych należących do dzielonego węzła na dwa podzbiory przy równoczesnej minimalizacji sumarycznego wolumenu pokrywających te zbiory MBR, jest ekspotencjalna. Guttnam zaproponował wydajny algorytm o rzędzie złożoności O(n 2 ). Algorytm QuadraticSplitNode // podziel M+1 regionów na dwie grupy QS1 Wywołaj PickSeeds dla wyboru pierwszych elementów grup QS2 Repeat DistributeEntry until wszystkie regiony są rozproszone lub jedna z grup zawiera M-m+1 elementów QS3 Pozostałe elementy dodaj do drugiej grupy

Algorytm SplitNode Algorytm PickSeeds // Znajdź dwa najbardziej oddalone regiony PS1 Dla każdej pary regionów składowych (R i, R j ) wyznacz region R, który jest ich MBR; Oblicz wolumen v = vol(r) - vol(r i ) - vol(r j ); PS2 Wybierz parę z największym v; Algorytm DistibuteEntry DE1 Wywołaj PickNext dla wyboru następnego regionu składowego; DE2 Dodaj go do grupy, której MBR będzie wymagał mniejszego powiększenia; jeżeli powiększenie będzie równe to do grupy o mniejszym MBR; dla równych MBR do mniej licznej grupy; Algorytm PickNext PN1 Dla każdego nieprzydzielonego jeszcze regionu składowego R i, oblicz wolumeny v 1 i v 2, o które trzeba by powiększyć MBR pierwszej i drugiej grupy w wyniku dodania tego regionu; PN2 Wybierz region o największej różnicy v 1 - v 2 ;

Własności R-drzew Indeksowanie dowolnych typów danych przestrzennych Aproksymacja indeksowanych danych Dzielenie zbioru regionów, nie przestrzeni Minimalizacja pokrywania pustej przestrzeni Wysoki stopień wypełnienia (> 50%) Proste algorytmy utrzymania Silna zależność efektywności wyszukiwania od gęstości indeksowanych danych Zależność rzędu drzewa od liczby wymiarów Silna zależność efektywności wyszukiwania od liczby wymiarów

Modyfikacje R-drzew Dla małej liczby wymiarów: R + -drzewa R -drzewa R-drzewa Hilberta Dla dużej liczby wymiarów: TV-drzewa (Telescope-Vectors) X-drzewa (extended nodes) SS-drzewa (Similarity Search) SR-drzewa (Similarity search R-tree)

R + -drzewa Cel: Zwiększenie efektywności operacji wyszukiwania w wyniku eliminacji wzajemnego pokrywania się regionów tego samego poziomu indeksu liczba operacji dyskowych R-drzewo R + -drzewo gęstość danych

Struktura R + - drzew Trudne regiony zapytań X B D F A C Region zapytania G E H Y I J Z K R-drzewo

Struktura R + - drzew Nowe cechy struktury: regiony każdego poziomu R + -drzewa są rozłączne regiony pokrywające obiekty mogą należeć do kilku regionów wyższego poziomu indeksu X B D V F A C Region zapytania G E H Y I J Z K R + -drzewo X Y Z V D A B C E F H I J K D G

Operacje na R + - drzewach Algorytm zapytania analogiczny jak dla R-drzew; charakteryzuje się jednak większą wydajnością - punktowe zapytania są wykonywane pojedynczą ścieżką nawigacji Algorytm wstawiania może być wielościeżkowy - wstawiane obiekty mogą być dodane do więcej niż jednego liścia Podział węzłów w wypadku ich przepełnienia może pociągnąć za sobą podział węzłów niższych poziomów analogicznie jak w kdb-drzewach Stopień wypełnienia węzłów jest niższy niż w R- drzewach Okresowa reorganizacja struktury X Y Z linia podziału

R - drzewa Modyfikacja algorytmów utrzymania R-drzewa przy niezmienionej strukturze dla optymalizacji podstawowych kryteriów efektywności drzewa: Minimalizacja przestrzeni regionów Minimalizacja pokrywania się regionów Minimalizacja powierzchni regionów Maksymalizacja wypełnienia węzłów drzewa Występują złożone zależności między powyższymi kryteriami. Eksperymentalnie wyznaczone modyfikacje algorytmów utrzymania drzewa. 1. Modyfikacja algorytmu wyboru ścieżki wstawiania; minimalizacja wzajemnego pokrywania się regionów na poziomie liści i minimalizacja sumarycznego pokrycia dla węzłów pośrednich. 2. Modyfikacja algorytmu podziału optymalizowane są równolegle: sumaryczne pokrycie, wzajemne pokrycie i obszar powierzchni dla różnych proporcji wypełnienia węzłów 3. Wymuszone powtórne wstawianie elementów do węzła dane są porządkowane według odległości środka regionu składowego od regionu pokrywającego

Wybór ścieżki wstawiania Niech R 1,,R n będą regionami składowymi danego węzła. Wtedy sumaryczne pokrycie regionu R k z węzłami składowymi węzła jest równe: overlap ( R k ) n = i = 1, i k vol( R k R Algorytm ChooseSubtree(R) CS1 Zmiennej N przypisz korzeń drzewa CS2 If N jest liściem return N elseif wskaźniki w N wskazują na liście then // minimalizacja overlap Dla każdego regionu składowego R i wyznacz overlap(r i )=overlap(r i )-overlap(r i ) gdzie R i jest regionem R i zmodyfikowanym tak by obejmował również region R; wybierz region, dla którego overlap jest najmniejsze; w wypadku niejednoznacznego wyboru wybierz rekord, którego region zostanie najmniej powiększony; w dalszej kolejności region najmniejszy; // O(n 2 ) else // minimalizacja obszaru regionów wybierz region, który wymaga najmniejszego powiększenia dla całkowitego pokrycia regionu R; w wypadku niejednoznacznego wyboru, wybierz region najmniejszy; // O(n) endif CS3 Zmiennej N przypisz węzeł wskazywany przez wskaźnik powiązany z wybranym regionem i )

Algorytm podziału węzła Algorytm SplitNode SN1 Wywołaj ChooseSplitAxis dla wyznaczenia osi względem, której zostanie wykonany podział; SN2 Wywołaj ChooseSplitIndex dla określenia najlepszego podziału regionów na dwie grupy względem wybranej osi; SN3 Rozprosz regiony między dwie wybrane grupy; y A B C D x Poszczególne wymiary w różny sposób różnicują zbiór MBR. Algorytm SplitNode szuka najbardziej różnicującego wymiaru.

Wybór osi podziału Dla danej osi porządkujemy regiony składowe węzła względem kolejno najmniejszych i największych wartości. Dla każdego z tych dwóch porządków wykonujemy M- 2m+2 (gdzie 2 m M) podziałów M+1 regionów na dwie grupy. K-ty podział (k <1; M-2m+2>) jest zdefiniowany następująco: Pierwsza grupa obejmuje pierwszych (m-1)+k regionów, a druga - pozostałe regiony. Dla poszczególnych podziałów wyznaczane są następujące wielkości: obszar: vol(mbr(grupy I)) + vol(mbr(grupy I)) powierzchnia: margin(mbr(grupy I)) + margin(mbr(grupy I)) wzajemne pokrycie: vol(mbr(grupy I)) vol(mbr(grupy I))

20 19 18 y A B Przykład C D E 6 3 2 1 1 6 10 18 22 27 29 34 35 39 Niech: M=4, m=2 Oś X: X min (A)=1, X min (B)=10, X min (C)=22, X min (D)=29, X min (D)=35 X max (A)=6, X max (B)=18, X max (C)=27, X max (D)=34, X max (D)=39 Podział 1 (k=1, min, (m-1)+k=2): {A, B}; {C, D, E} Podział 2 (k=2, min, (m-1)+k=3): {A, B, C}; {D, E} Podział 3 (k=1, max, (m-1)+k=2): {A, B}; {C, D, E} Podział 4 (k=2, max, (m-1)+k=3): {A, B, C}; {D, E} Oś Y: Y min (B)=1, Y min (D)=2, Y min (E)=3, Y min (A)=5, Y min (C)=5 Y max (B)=18, Y max (D)=18, Y max (E)=19, Y min (A)=19, Y max (C)=20 Podział 1 (k=1, min, (m-1)+k=2): {B, D}; {E, A, C} Podział 2 (k=2, min, (m-1)+k=3): { B, D, E}; {A, C} Podział 3 (k=1, max, (m-1)+k=2): {B, D}; {E, A, C} Podział 4 (k=2, max, (m-1)+k=3): {B, D, E}; {A, C} x

Algorytm ChooseSplitAxis CSA1 end For each wymiaru x Posortuj regiony względem dolnej i górnej granicy regionu (x min, x max ) w danym wymiarze i określ wszystkie rozkłady regionów na dwie grupy gr i i gr i. Wyznacz sumę powierzchni MBR dla wszystkich 1 2 rozkładów: S= i margin(mbr( gr i 1 )) + margin(mbr( gr i 2 )) CSA2 Jako oś podziału wybierz wymiar z najmniejszą wartością S; Oś X: gr 1, 3: margin(mbr{a, B}) = 70; margin(mbr {C, D, E}) = 70; gr 2, 4: margin(mbr{a, B, C}) = 90; margin(mbr {D, E}) = 54; =284 Oś Y: gr 1, 3: margin(mbr{b, D}) = 82; margin(mbr {E, A, C}) = 112; gr 2, 4: margin(mbr{b, D, E}) = 96; margin(mbr {A, C}) = 80; =370

Algorytm ChooseSplitIndex CSI1 Dla wybranego wymiaru wybierz podział z minimalną wartością pokrywania się regionów; w wypadku niejednoznacznego wyboru, wybierz podział z minimalnym obszarem; 1) 2) MBR{A, B} MBR {C, D, E} = MBR{A, B, C} MBR {D, E} = vol(mbr{a, B}) + vol(mbr{c, D, E}) = 306 + 306 = 612 vol(mbr{a, B, C}) + vol(mbr{d, E}) = 494 + 170 = 664 Wynik: {A, B} i {C, D, E}

Linearyzacja przestrzeni Podstawowa różnica między drzewami jedno- i wielowymiarowymi polega na braku globalnego porządku elementów indeksów wielowymiarowych odpowiadającego lokalizacji danych w przestrzeni wielowymiarowej. Heurystyczne rozwiązanie problemu: Jeżeli dwa obiekty znajdują się blisko siebie w przestrzeni wielowymiarowej to istnieje duże prawdopodobieństwo, że są zlokalizowane koło siebie w globalnym porządku elementów indeksu. Przestrzeń jest podzielona na elementarne komórki, którym przypisane są unikalne etykiety zgodnie z lokalizacją w globalnym porządku określonym przez krzywą organizującą przestrzeń (ang. space-filling curve). Krzywa taka musi przechodzić przez wszystkie komórki nigdy się nie przecinając. Przykładowe krzywe: Hilberta, Peano (z-ordering), itp. 5 6 9 10 1 2 4 7 8 11 0 3 3 2 13 12 0 1 14 15 Krzywe Hilberta rzędu 1 i 2

R-drzewo Hilberta R-drzewo Hilberta jest odmianą klasycznego R-drzewa. Do generowania etykiet komórek przestrzeni zastosowano krzywą Hilberta. Wartością Hilberta danego regionu jest wartość Hilberta punktu środkowego regionu. Regiony składowe przepełnionych węzłów są dzielone na podstawie ich wartości Hilberta. Struktura indeksu: liście zawierają rekordy postaci: (R, oid) gdzie: R jest MBR obiektu wielowymiarowego, a oid wskaźnikiem na blok zawierający ten obiekt; węzły pośrednie zawierają rekordy postaci: (LHV, R, ptr) gdzie: R jest MBR regionów zdefiniowanych w węźle potomnym, ptr wskaźnikiem na ten węzeł, a LHV jest największą wartością Hilberta regionów zawartych w R;

Przykład R-drzewa Hilberta Organizacja przestrzeni za pomocą krzywej Hilberta (100,100) (55,75) [98] [92] [107] [107] (20,38) [206] [33] (0,0) Struktura indeksu [33] (3;35)(5;40) [107] (20;55)(38;75) [206] [92] (20;30)(60;75) [98] (35;55)(65;75) [107] (45;55)(35;50)

Algorytm wstawiania Algorytm Insert(node Root, Region R) I1 Znajdź właściwy liść: Wyznacz wartość Hilberta h dla R; L := ChooseLeaf(R, h); I2 Wstaw R do liścia L: if (wolne miejsce w L) then wstaw R do L zgodnie z porządkiem Hilberta else HandleOverflow(L, R) I3 Propaguj modyfikacje: Utwórz zbiór S, który zawiera L, sąsiednie węzły i ewentualnie nowy węzeł; AdjustTree(S); I4 Zwiększ wysokość drzewa: if (podział korzenia); then utwórz nowy korzeń, adresujący dwa uzyskane węzły;

Wybór ścieżki wstawiania Algorytm ChooseLeaf(Region R, int h) CL1 Zmiennej N przypisz korzeń drzewa CL2 if (N jest liściem) then return N CL3 if (N nie jest liściem) Znajdź rekord (R i, ptr i, LHV i ) z najmniejszą wartością LHV większą od h; CL4 Pod N podstaw węzeł wskazywany przez ptr i ; Wróć do CL2;

Podział węzła Algorytm HandleOverflow(node N,Region R) /* jeżeli wystąpi podział zwróć nowy węzeł */ H1 Utwórz zbiór E, który będzie zawierał wszystkie rekordy węzła N i jego sąsiadów; H2 dodaj region R do zbioru E; H3 H4 if co najmniej jeden z sąsiadów N nie jest pełny then rozprosz zbiór E między wszystkie węzły zgodnie z porządkiem Hilberta; if wszyscy sąsiedzi N są pełni then utwórz nowy węzeł N ; rozprosz zbiór E między wszystkie węzły zgodnie z porządkiem Hilberta; return N ;

Wyrównywanie drzewa Algorytm AdjustTree(set S) /* S zawiera zmodyfikowany węzeł, jego sąsiadów i ewentualnie nowo utworzony węzeł N Algorytm przebiega w górę drzewa modyfikując kształty regionów i wartości LHV węzłów, których regiony obejmują regiony węzłów ze zbioru S */ A1 if osiągnięto korzeń indeksu then zakończ; A2 /* propagacja podziału lub modyfikacji węzłów */ NP := parent(n); if wystąpił podział węzła N; then wstaw rekord opisujący N do NP w miejscu odpowiednim dla jego wartości Hilberta; if wystąpiło przepełnienie węzła NP then HandleOverflow(NP, N ); if wystąpił podział węzła NP then PP nowy węzeł; A3 /* wyrównywanie MBR i LHV */ P := parent(s); Zmodyfikuj MBR i LHV w węzłach ze zbioru P; A4 /* przejście o poziom wyżej */ S := P; if wystąpił podział węzła NP then N := PP; wróc do kroku A1;

Degradacja efektywności R-drzew dla dużej liczby wymiarów Miara degradacji dla równomiernie wypełnionej przestrzeni Overlap węzła R-drzewa jest równy procentowi obszaru MBR węzła pokrytego przez więcej niż jeden składowy MBR. Overlap = vol vol U ( R i i, j {1... n }, i j U i i {1... n } R R j ) Overlap dla równomiernie rozproszonych danych 100% 90% 80% 70% 60% 50% 40% 30% 20% 10% 0% 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Liczba wymiarów

Miara degradacji dla rzeczywistych zbiorów danych Weighted overlap węzła R-drzewa jest równy procentowi obiektów leżących w przestrzeni pokrytej przez więcej niż jeden składowy MBR. WeightedOverlap = count { p count p i i, j {1... n }, i j { p p U ( R U i {1... n R R i} } j )} Weighted Overlap dla rzeczywistych danych 100% 90% 80% 70% 60% 50% 40% 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Liczba wymiarów

X-drzewo Obszary wielokrotnego pokrywania Dla takich obszarów nawet w przypadku zapytań punktowych wyszukiwanie w R-drzewie będzie wielościeżkowe. Dla takich regionów przeszukiwanie indeksu liniowego (jednopoziomowego) będzie charakteryzowało się większą wydajnością niż przeszukiwanie hierarchiczne.

X-drzewo X-drzewo jest rozszerzeniem R-drzewa. X-drzewo składa się z dwóch rodzajów węzłów wewnętrznych: zwykłych węzłów o strukturze: ((MBR 1,SH 1,p 1 ), (MBR 2,SH 1,p 2 ),..., (MBR n,sh 1, p n )) gdzie: SH i jest historią podziału danego węzła, a p i wskaźnikiem na węzeł potomny Super-węzłów (ang. supernode), których rozmiar jest wielokrotnością zwykłych węzłów supernode supernode Super-węzły są tworzone w sytuacji, gdy podział węzła z powodu pokrywania się regionów składowych doprowadziłby do degeneracji drzewa. Dla małej liczby wymiarów kształt X-drzewo jest bliski R- drzewu liczba super-węzłów jest mała lub równa zeru. Dla dużej liczby wymiarów kształt X-drzewa zmierza w stronę indeksu liniowego.

Algorytm Insert int XDirectoryNode::insert(DataObject obj, X_Node new_node) { SET_OF_MBR s1 s2; X_Node follow, new_son; int return_value; // choose a son node to insert obj into follow = choose_subtree(obj); // insert obj into subtree return_value = follow insert(obj,new_son); // update MBR of o son node update_mbr(follow calc_mbr()); if (return_value == SPLIT) { // insert mbr of new son node into current node add_mbr(new_son calc_mbr()); if (num_of_mbrs()>capacity){ // overflow occurs if (split(mbrs,s1,s2)==true) { // topological or overlap-minimal split was successfull set_mbrs(s1); new_node=new X_DirectoryNode(s2); return SPLIT; } else { // there is no good split newnode = new X_SuperNode(); ( newnode) set_mbrs(mbrs); return SUPERNODE; } } } // node 'follow' becomes a supernode else if (return_value == SUPERNODE) { remove_son(follow); insert_son (new_son); } return NO_SPLIT; }

Algorytm Split bool X_DirectoryNode::split(SET_OF_MBR in, SET_OF_MBR out1, SET_OF_MBR out2) SET_OF_MBR t1, t2; MBR r1, r2; // first try topological sp resulting in // two sets of MBRs t1 and t2 topological_split(in,t1,t2); r1 = t1 calc_mbr(); r2 = t2 calc_mbr(); // test for overlap if (overlap(r1,r2) > MAX_OVERLAP) { // topological split fails -> try overlap minimal split overlap_minimal_split(in,t1,t2); // test for unbalanced nodes if (t1 num_of_mbrs()< MIN_FANOUT t2 num_of_mbrs()< MIN_FANOUT) // overlap-minimal split also fails // (-> caller has to create supernode) return FALSE; } out=t1; out2=t2; return TRUE; }