Κεφ.11: Ευρετήρια και Κατακερματισμός

Transcript

1 Κεφ.11: Ευρετήρια και Κατακερματισμός Database System Concepts, 6 th Ed. See for conditions on re-use

2 Κεφ. 11: Ευρετήρια-Βασική θεωρία Μηχανισμοί ευρετηρίου χρησιμοποιούνται για την επιτάχυνση της πρόσβασης στα επιθυμητά δεδομένα. Π.χ., κατάλογος συγγραφέων στη βιβλιοθήκη Κλειδί αναζήτησης -χαρακτηριστικό ή σύνολο χαρακτηριστικών που χρησιμοποιούνται για την αναζήτηση πλειάδων σε ένα αρχείο. Ένα αρχείο Ευρετηρίου αποτελείται από εγγραφές (index entries) της μορφής Κλειδί-αναζήτησης Τα αρχεία ευρετηρίου είναι συνήθως πολύ μικρότερα από το αρχικό αρχείο (ίσως μπορούμε να τα κρατήσουμε στην κύρια μνήμη) Δύο βασικοί τύποι ευρετηρίου: δείκτης Διατεταγμένα ευρετήρια: τα κλειδιά αποθηκεύονται σε ταξινομημένη σειρά Ευρετήρια κατακερματισμού: τα κλειδιά κατανέμονται ομοιόμορφα σε υποδοχές ( buckets ) μέσω συνάρτησης hash. 11.2

3 Μετρικές αξιολόγησης ευρετηρίου Τύποι πρόσβασης που υποστηρίζονται αποτελεσματικά. Π.χ., Εγγραφές με μια καθορισμένη τιμή στο χαρακτηριστικό ή εγγραφές με μια τιμή χαρακτηριστικού που εμπίπτει σε ένα συγκεκριμένο εύρος τιμών. Χρόνος πρόσβασης Χρόνος εισαγωγής Χρόνος διαγραφής Κόστος σε χώρο 11.3

4 Διατεταγμένα (ή ταξινομημένα) Ευρετήρια Σε ένα ταξινομημένο ευρετήριο, οι καταχωρίσεις ευρετηρίου αποθηκεύονται ταξινομημένες στην τιμή κλειδιού αναζήτησης. Π.χ., κατάλογος συγγραφέων στη βιβλιοθήκη. Πρωτεύον ευρετήριο(primary index): σε ένα σειριακά ταξινομημένο αρχείο, το ευρετήριο του οποίου το κλειδί αναζήτησης καθορίζει τη σειριακή σειρά του αρχείου Ονομάζεται και clustering index (ευρετήριο συμπλέγματος) Το κλειδί αναζήτησης ενός πρωτεύοντος ευρετηρίου είναι συνήθως - αλλά όχι απαραίτητα - το πρωτεύον κλειδί. Δευτερεύον Ευρετήριο: ένα ευρετήριο του οποίου το κλειδί αναζήτησης καθορίζει μια σειρά διαφορετική από τη σειριακή σειρά που ακολουθεί το αρχείο. Αναφέρεται και ως non-clustering index. Αρχείο σειριακού ευρετηρίου (Index-sequential file): ταξινομημένο σειριακό αρχείο με πρωτεύον ευρετήριο. 11.4

5 Πυκνό ευρετήριο Dense index Η εγγραφή ευρετηρίου εμφανίζεται για κάθε τιμή κλειδιού αναζήτησης στο αρχείο. Π.χ. Ευρετήριο στο ID της instructor 11.5

6 Πυκνό ευρετήριο Πυκνό ευρετήριο στο dept_name, με το αρχείο instructor ταξινομημένο κατά το dept_name 11.6

7 Αραιό Ευρετήριο Sparse Index: Περιέχει εγγραφές ευρετηρίου μόνο για κάποιες τιμές του κλειδιού αναζήτησης. Ισχύει όταν οι εγγραφές είναι σειριακά ταξινομημένες ως προς το κλειδί αναζήτησης Για να εντοπίσουμε μια εγγραφή με τιμή κλειδιού αναζήτησης K: Βρίσκουμε την εγγραφή ευρετηρίου με τη μεγαλύτερη τιμή κλειδιού <=K Αναζητούμε στο αρχείο σειριακά ξεκινώντας από την εγγραφή που δείχνει ο δείκτης 11.7

8 Αραιό Ευρετήριο Σε σύγκριση με τα πυκνά ευρετήρια: Λιγότερος χώρος και λιγότερα έξοδα συντήρησης για εισαγωγές και διαγραφές. Γενικά βραδύτερο από τα πυκνά για εντοπισμό εγγραφών. Καλός συμβιβασμός: αραιό ευρετήριο με μια εγγραφή για κάθε block του αρχείου, που αντιστοιχεί στη μικρότερη τιμή κλειδιού αναζήτησης στο block. 11.8

9 Παράδειγμα δευτερεύοντος ευρετηρίου 2 ον ευρετήριο στη στήλη salary της σχέσης instructor Η εγγραφή του ευρετηρίου οδηγεί σε έναν κάδο (bucket) που περιέχει δείκτες σε όλες τις πραγματικές εγγραφές με τη συγκεκριμένη τιμή κλειδιού αναζήτησης. Οι δευτερεύοντες δείκτες πρέπει να είναι πυκνοί 11.9

10 Πρωτεύοντα και Δευτερεύοντα Ευρετήρια Τα ευρετήρια προσφέρουν σημαντικά οφέλη κατά την αναζήτηση αρχείων. ΑΛΛΑ: Η ενημέρωσή τους επιβάλλει γενικά την τροποποίηση της βάσης δεδομένων - όταν τροποποιηθεί ένα αρχείο, πρέπει να ενημερωθεί κάθε ευρετήριο του αρχείου. Η συνεχόμενη σάρωση με πρωτεύον ευρετήριο είναι αποτελεσματική, αλλά μια συνεχόμενη σάρωση χρησιμοποιώντας δευτερεύον ευρετήριο είναι δαπανηρή Κάθε πρόσβαση εγγραφής μπορεί να ανακτά ένα νέο μπλοκ από το δίσκο. Η ανάκτηση ενός μπλοκ απαιτεί περίπου 5 έως 10 χιλιοστά του δευτερολέπτου, έναντι περίπου 100 νανοδευτερόλεπτα για πρόσβαση στη μνήμη 11.10

11 Πολυεπίπεδα Ευρετήρια Εάν το πρωτεύον ευρετήριο δεν χωράει στη μνήμη, η πρόσβαση καθίσταται δαπανηρή. Λύση: θεωρούμε το πρωτεύον ευρετήριο που διατηρείται στο δίσκο ως ένα σειριακό αρχείο και κατασκευάζουμε ένα αραιό ευρετήριο σε αυτό. Εξωτερικό ευρετήριο - ένα αραιό ευρετήριο για το πρωτεύον ευρετήριο Εσωτερικό ευρετήριο το αρχείο του πρωτεύοντος ευρετηρίου Εάν και το εξωτερικό ευρετήριο είναι πολύ μεγάλο για να χωρέσει στην κύρια μνήμη, μπορεί να δημιουργηθεί ένα άλλο επίπεδο ευρετηρίου, κ.ο.κ. Τα ευρετήρια σε όλα τα επίπεδα πρέπει να ενημερώνονται κατά την εισαγωγή ή τη διαγραφή από το αρχείο

12 Πολυεπίπεδα ευρετήρια 11.12

13 Ενημέρωση ευρετηρίου: Διαγραφή Εάν η διαγραμμένη εγγραφή ήταν η μοναδική στο αρχείο με την τιμή κλειδιού αναζήτησης, το κλειδί αναζήτησης διαγράφεται και από το ευρετήριο. Διαγραφή καταχώρησης ευρετηρίου σε ένα επίπεδο: Πυκνά ευρετήρια - η διαγραφή του κλειδιού αναζήτησης είναι παρόμοια με τη διαγραφή εγγραφής αρχείου. Αραιά εάν υπάρχει καταχώρηση για το κλειδί αναζήτησης στο ευρετήριο, διαγράφεται αντικαθιστώντας την καταχώρηση στο ευρετήριο με την επόμενη τιμή του κλειδιού αναζήτησης στο αρχείο Εάν η επόμενη τιμή κλειδιού αναζήτησης έχει ήδη μια καταχώρηση ευρετηρίου, η καταχώρηση διαγράφεται αντί να αντικατασταθεί

14 Ενημέρωση ευρετηρίου: Εισαγωγή Εισαγωγή σε μονοεπίπεδο ευρετήριο: Πραγματοποιούμε μια αναζήτηση χρησιμοποιώντας την τιμή του κλειδιού αναζήτησης που εμφανίζεται στην εγγραφή που εισάγουμε. Πυκνά ευρετήρια εάν η τιμή κλειδιού αναζήτησης δεν εμφανίζεται στο ευρετήριο, την εισάγουμε. Αραιά αν το ευρετήριο αποθηκεύει μια καταχώρηση για κάθε μπλοκ του αρχείου, δεν χρειάζεται να γίνει καμία αλλαγή στο ευρετήριο αν δεν δημιουργηθεί νέο μπλοκ. Εάν δημιουργηθεί ένα νέο μπλοκ, η πρώτη τιμή κλειδιού αναζήτησης που εμφανίζεται στο νέο μπλοκ εισάγεται στο ευρετήριο. Εισαγωγή και διαγραφή σε πολυεπίπεδα ευρετήρια: οι αλγόριθμοι είναι απλές επεκτάσεις των αλγορίθμων ενός επιπέδου 11.14

15 Δευτερεύοντα ευρετήρια Συχνά, κάποιος θέλει να βρει όλες τις εγγραφές των οποίων οι τιμές σε ένα συγκεκριμένο πεδίο (που δεν είναι το κλειδί αναζήτησης του κύριου ευρετηρίου) ικανοποιούν κάποια συνθήκη. Παράδειγμα 1: στη σχέση instructor αποθηκευμένη σειριακά με το ID, ίσως να θέλουμε να βρούμε όλους τους εκπαιδευτές σε ένα συγκεκριμένο τμήμα Παράδειγμα 2: όπως παραπάνω, αλλά όπου θέλουμε να βρούμε όλους τους εκπαιδευτές με συγκεκριμένο μισθό ή με μισθό σε συγκεκριμένο εύρος τιμών Μπορούμε να έχουμε ένα δευτερεύον ευρετήριο με μια εγγραφή ευρετηρίου για κάθε τιμή κλειδιού αναζήτησης 11.15

16 Αρχεία δεικτοδότησης B + -Δέντρων Τα ευρετήρια B + -δέντρων είναι η εναλλακτική στα σειριακά ευρετήρια Μειονέκτημα των σειριακών ευρετηρίων η απόδοση υποβαθμίζεται καθώς αυξάνεται το αρχείο, καθώς δημιουργούνται πολλά μπλοκ υπερχείλισης. Απαιτείται περιοδική αναδιοργάνωση ολόκληρου του αρχείου. Πλεονεκτήμα αρχείων ευρετηρίου B + -tree: αυτόματα αναδιοργανώνεται με μικρές, τοπικές, αλλαγές ενόψει εισαγωγών και διαγραφών. Δεν απαιτείται αναδιοργάνωση ολόκληρου του αρχείου για τη διατήρηση της απόδοσης. (μικρό) μειονέκτημα των B + -δέντρων: επιπλέον έξοδα εισαγωγής και διαγραφής, χώρου Τα πλεονεκτήματα των B + -trees είναι περισσότερα 11.16

17 Παράδειγμα ενός B + -Δέντρου 11.17

18 B + -Δέντρα Ένα B+ δέντρο είναι ένα δέντρο με ρίζα που ικανοποιεί τις ακόλουθες ιδιότητες: Όλα τα μονοπάτια από τη ρίζα σε φύλλο έχουν το ίδιο μήκος Κάθε κόμβος που δεν είναι ρίζα ή φύλλο έχει μεταξύ n/2 και n παιδιά. Ένα φύλλο έχει μεταξύ (n 1)/2 και n 1 τιμές Ειδικές περιπτώσεις: Εάν η ρίζα δεν είναι φύλλο, έχει τουλάχιστον 2 παιδιά. Εάν η ρίζα είναι φύλλο (δηλαδή, δεν υπάρχουν άλλοι κόμβοι στο δέντρο), μπορεί να έχει μεταξύ 0 και (n-1) τιμές 11.18

19 Δομή κόμβου B + -Δέντρου Τυπικός κόμβος K i είναι οι τιμές του κλειδιού αναζήτησης P i είναι δείκτες σε παιδιά (για κόμβους μη-φύλλα) ή δείκτες σε εγγραφές ή κάδους εγγραφών (για κόμβους φύλλων). Τα κλειδιά αναζήτησης σε έναν κόμβο είναι διατεταγμένα K 1 < K 2 < K 3 <... < K n 1 (Αρχικά υποθέτουμε χωρίς διπλότυπα κλειδιά, αργότερα το αντιμετωπίζουμε) 11.19

20 Φύλλα σε B + -Trees Ιδιότητες ενός κόμβου φύλλου: Για i = 1, 2,..., n 1, ο δείκτης P i δείχνει σε μια εγγραφή αρχείου με τιμή κλειδιού αναζήτησης K i, Αν L i, L j είναι φύλλα και i < j, τότε οι τιμές του L i είναι μικρότερες ή ίσες από τις τιμές του L j Ο δείκτης P n δείχνει στο επόμενο φύλλο κατά σειρά κλειδιού 11.20

21 Κόμβοι μη-φύλλα σε B + -Trees Οι κόμβοι μη φύλλων σχηματίζουν ένα αραιό πολυ-επίπεδο ευρετήριο στους κόμβους των φύλλων. Για έναν κόμβο που δεν είναι φύλλο με m δείκτες: Όλα τα κλειδιά αναζήτησης στο υποδέντρο στο οποίο δείχνει ο P 1 είναι μικρότερα από K 1 Για 2 i n 1, όλα τα κλειδιά αναζήτησης στο υποδέντρο που δείχνει ο P i έχουν τιμές μεγαλύτερες ή ίσες με K i 1 και μικρότερες από K i Όλα τα κλειδιά αναζήτησης στο υποδέντρο στο οποίο δείχνει ο P n έχουν τιμές μεγαλύτερες ή ίσες με K n

22 Παράδειγμα B + -tree για το αρχείο instructor (n = 6) Οι κόμβοι φύλλων πρέπει να έχουν μεταξύ 3 και 5 τιμές ( (n 1)/2 και n 1, με n = 6). Οι κόμβοι μη-φύλλα, εκτός από ρίζα, πρέπει να έχουν μεταξύ 3 και 6 παιδιά ( (n/2 και n, με n =6). Η ρίζα πρέπει να έχει τουλάχιστον 2 παιδιά

23 Παρατηρήσεις σχετικά με τα B + -trees Δεδομένου ότι οι συνδέσεις μεταξύ κόμβων γίνονται με δείκτες, τα "λογικά" κοντινά μπλοκ δεν χρειάζεται να είναι και κοντά στο φυσικό μέσο. Τα επίπεδα μη φύλλων του B + -δέντρου σχηματίζουν μια ιεραρχία αραιών δεικτών. Το B + -tree περιέχει σχετικά μικρό αριθμό επιπέδων Το επίπεδο κατώ από τη ρίζα έχει τουλάχιστον 2* n/2 τιμές Το επόμενο επίπεδο έχει τουλάχιστον 2* n/2 * n/2 τιμές, κλπ Αν υπάρχουν K τιμές κλειδιού αναζήτησης στο αρχείο, το ύψος δεν είναι μεγαλύτερο από log n/2 (K) Άρα αποδοτικές αναζητήσεις. Εισαγωγές και διαγραφές γίνονται σε λογαριθμικό χρόνο 11.23

24 Ερωτήματα σε B + -Trees Βρείτε την εγγραφή με την τιμή κλειδιού αναζήτησης V. 1. C=root 2. Ενόσω το C δεν είναι φύλλο { 1. Έστω i η μικρότερη τιμή ώστε V K i. 2. Αν δεν υπάρχει τέτοια, C = τελευταίος non-null pointer στο C 3. Αλλιώς{ αν (V= K i ) C = P i +1 αλλιώς C = P i } } 3. Έστω i η μικρότερη τιμή ώστε K i = V 4. Αν υπάρχει τέτοια τιμή i, ακολουθούμε τον δείκτη P i στη σωστή εγγραφή. 5. Αλλιώς δεν υπάρχει εγγραφή με τιμή κλειδιού V 11.24

25 Διπλότυπα Με διπλότυπα κλειδιά αναζήτησης: Και στα φύλλα και στους εσωτερικούς κόμβους, Δεν μπορούμε να εγγυηθούμε ότι K 1 < K 2 < K 3 <... < K n 1 Αλλα μπορούμε ότι K 1 K 2 K 3... K n 1 Τα κλειδιά στο υποδέντρο που δείχνει ο P i είναι K i,, αλλά όχι απαραίτητα < K i, 11.25

26 Αντιμετώπιση Διπλοτύπων Τροποποιούμε τη διαδικασία εύρεσης ως εξής Διασχίζουμε τον P i ακόμη και αν V = K i Μόλις φτάσουμε σε ένα φύλλο C, ελέγχουμε εάν το C έχει μόνο τιμές κλειδιού μικρότερες από V Αν ναι, θέτουμε C = δεξί αδερφό του C πριν ελέγξουμε αν το C περιέχει το V Συνάρτηση printall Χρησιμοποιεί την τροποποιημένη διαδικασία εύρεσης για να βρει την πρώτη εμφάνιση του V Διασχίζουμε διαδοχικά φύλλα για όλες τις εμφανίσεις του V ** Errata note: modified find procedure missing in first printing of 6 th edition 11.26

27 Ερωτήματα σε B + -Trees Αν υπάρχουν K τιμές κλειδιού αναζήτησης στο αρχείο, το ύψος δεν είναι μεγαλύτερο από log n/2 (K) Ο κόμβος είναι γενικά όσο ένα disk block, τυπική τιμή 4 kilobytes Το n συνήθως γύρω στο 100 (40 bytes ανά εγγραφή ευρετηρίου). Με 1 εκατ. κλειδιά αναζήτησης και n = 100 Το πολύ log 50 (1,000,000) = πρόσβαση σε 4 κόμβους σε μια αναζήτηση. Σε αντιδιαστολή με ένα ισοζυγισμένο δυαδικό δέντρο με 1 εκατ. τιμές περίπου 20 κόμβοι ανά αναζήτηση η παραπάνω διαφορά είναι σημαντική καθώς κάθε πρόσβαση κόμβου μπορεί να χρειαστεί I/O στο δίσκο, κοστίζοντας περίπου 20msec 11.27

28 Ενημερώσεις σε B + -Trees: Εισαγωγή 1. Βρείτε το φύλλο στο οποίο θα εμφανιστεί η τιμή του κλειδιού αναζήτησης 2. Εάν η τιμή κλειδιού υπάρχει ήδη στο φύλλο 1. Προσθέτουμε την εγγραφή στο αρχείο 2. Αν χρειαστεί προσθέτουμε ένα δείκτη στον κάδο. 3. Εάν δεν υπάρχει η τιμή του κλειδιού αναζήτησης, τότε 1. προσθέστε την εγγραφή στο κύριο αρχείο (και δημιουργήστε έναν κάδο, αν είναι απαραίτητο) 2. Εάν υπάρχει χώρος στο φύλλο, εισάγετε (κλειδί-τιμή, δείκτης) στο φύλλο 3. Διαφορετικά, διαιρέστε τον κόμβο (μαζί με τη νέα καταχώρηση (τιμή-κλειδί, δείκτης)) όπως αναλύεται στην επόμενη διαφάνεια

29 Ενημερώσεις σε B + -Trees: Εισαγωγή Διαίρεση κόμβου φύλλων: πάρτε τα n ζεύγη (τιμή κλειδιού, δείκτη) συμπεριλαμβανομένης της εισαγόμενης με ταξινομημένη σειρά. Τοποθετήστε τα πρώτα n/2 στον αρχικό κόμβο και τα υπόλοιπα σε έναν νέο κόμβο. Έστω ο νέος κόμβος είναι ο p, και k το μικρότερο κλειδί στον p. Εισαγάγετε (k, p) στον πατέρα του κόμβου που χωρίζεται Αν ο γονέας είναι γεμάτος, διαιρέστε τον και μεταδώστε τη διαίρεση αναδρομικά προς τα πάνω. Ο διαχωρισμός των κόμβων προχωράει προς τα πάνω μέχρι να βρεθεί ένας κόμβος που δεν είναι γεμάτος. Στη χειρότερη περίπτωση η ρίζα μπορεί να χωριστεί αυξάνοντας το ύψος του δέντρου κατά 1. Αποτέλεσμα διάσπασης του κόμβου που περιέχει Brandt, Califieri και Crick με την εισαγωγή του Adams Επόμενο βήμα: Εισάγουμε την καταχώρηση (Califieri, pointer-to-new-node) στο γονιό 11.29