Grundlagen von Datenbanken. B-Bäume, B*-Bäume Normalisierung

Transkript

1 Grundlagen von Datenbanken B-Bäume, B*-Bäume Normalisierung

2 B-Bäume Definition: Seien k, h ganze Zahlen, h > 0, k > 0. Ein B-Baum B der Klasse τ(k,h) ist entweder ein leerer Baum oder ein geordneter Suchbaum mit folgenden Eigenschaften: Jeder Pfad von der Wurzel zu einem Blatt hat die gleiche Länge h-1. Jeder Knoten außer der Wurzel und den Blättern hat mindestens k+1 Söhne. Die Wurzel ist ein Blatt oder hat mindestens 2 Söhne. Jeder Knoten hat höchstens 2k+1 Söhne. Jeder Knoten mit Ausnahme der Wurzel hat mindestens k und höchstens 2k Einträge. L Knotenformat: bm K 1 D 1 K 2 D 2... K b D b freier Platz P 0 P 1 P 2 P b 2

3 B-Bäume In jedem Knoten stehen die Schlüssel in aufsteigender Ordnung mit K 1 <K 2 <...<K b. Jeder Schlüssel hat eine Doppelrolle als Identifikator eines Datensatzes und als Wegweiser im Baum. B-Baum der Klasse t(2,3):

4 B-Bäume (Beispiel-Splitten) Split-Faktor: Einfügen von 63 (Splitten)

5 B-Bäume (Beispiel-Einfügen bei doppeltem Überlauf) Split-Faktor: Einfügen von 42 (Überlauf)

6 B-Bäume (Beispiel-Einfügen bei doppeltem Überlauf) Split-Faktor: Einfügen von 29 (Splitten)

7 B-Bäume (Beispiel-Ausgleichen) Löschen von 42 (Ausgleichen)

8 B-Bäume (Beispiel-Mischen) Löschen von 8 (Mischen)

9 B*-Bäume Definition: Seien k, k* und h* ganze Zahlen, h* 0, k, k* > 0. Ein B*-Baum B der Klasse t (k,k*,h*) ist entweder ein leerer Baum oder ein geordneter Suchbaum, für den gilt: Jeder Pfad von der Wurzel zu einem Blatt besitzt die gleiche Länge h*-1. Jeder Knoten außer der Wurzel und den Blättern hat mindestens k+1 Söhne, die Wurzel mindestens 2 Söhne, außer wenn sie ein Blatt ist. Jeder innere Knoten hat höchstens 2k+1 Söhne. Jeder Blattknoten mit Ausnahme der Wurzel als Blatt hat mindestens k* und höchstens 2k* Einträge. Innere Knotenformat: M K 1... K b freier Platz L Blattknotenformat: M... freier Platz K 1 D 1 K 2 D 2 L K m D m P 0 P 1 P b P prior P next 9

10 B*-Bäume (Erklärungsmodell) Der B*-Baum lässt sich auffassen als eine gekettete sequentielle Datei von Blättern, die einen Indexteil besitzt, der selbst ein B-Baum ist. Im Indexteil werden insbes. beim Split-Vorgang die Operationen des B- Baums eingesetzt. B*-Baum der Klasse t(3, 2, 3):

11 B*-Bäume (Beispiel-Splitten) Split-Faktor: Einfügen von 41 (Splitten)

12 B*-Bäume (Beispiel-Einfügen bei doppeltem Überlauf) Split-Faktor: Einfügen von 39 (Überlauf)

13 B*-Bäume (Beispiel-Einfügen bei doppeltem Überlauf) Split-Faktor: Einfügen von 29 (Splitten)

14 B*-Bäume (Beispiel-Ausgleichen) Löschen von 64 (Ausgleichen)

15 B*-Bäume (Beispiel-Mischen) Löschen von 64 (Mischen)

16 Änderungsanomalien Bücherei ( KID, Signatur, KName, ISBN, Autor, Titel, Auflage, Bestand, Ausleihdatum, Leihdauer ) KID, Signatur Ausleihdatum, Leihdauer KID KName Signatur ISBN ISBN Autor, Titel Autor, Titel ISBN ISBN, Auflage Bestand Autor, Titel, Auflage Bestand 16

17 Änderungsanomalien Einfüge-Anomalie: ODER Es ist nicht möglich ein neues Buch einzufügen, wenn dieses nicht von einem Kunden ausgeliehen wird. Es ist nicht möglich, einen Kunden anzulegen ohne dass dieser ein Buch ausleiht. 17

18 Änderungsanomalien Lösch-Anomalie: ODER Wenn der Kunde das letzte Buch zurückgibt, gehen auch die Kundeninformationen verloren. Mit dem Löschen eines Kunden gehen auch die Informationen über ein Buch verloren, wenn dies von keinem anderen Kunden ausgeliehen ist. 18

19 Änderungsanomalien Modifikations-Anomalie: Um den Titel eines Buches zu korrigieren, müssen die Tupel für alle Leihverhältnisse desselben Buches aktualisiert werden. ODER: Ändert sich der Name eines Kunden, müssen die Tupel für alle Ausleihverhältnisse des Kunden aktualisiert werden. 19

20 Normalformen KID, Signatur Ausleihdatum, Leihdauer KID KName Signatur ISBN ISBN Autor, Titel Autor, Titel ISBN ISBN, Auflage Bestand Autor, Titel, Auflage Bestand 20

21 Normalformen 1. NF alle Attribute sind atomar. a b a b z b z X={a,b} Y={b} b z 21

22 Normalformen a b a b z b z X={a} Y={b} b z 22

23 a) Fkt. Abhängigkeiten FA1: Name Straße FA2: Name, Datum Treffpunkt 23

24 a) Fkt. Abhängigkeiten FA1: Name Straße FA2: Name, Datum Treffpunkt Schlüsselkandidaten: Name, Datum 24

25 a) Fkt. Abhängigkeiten FA1: Name Straße FA2: Name, Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Name, Datum Straße, Treffpunkt 25

26 a) Fkt. Abhängigkeiten FA1: Name Straße FA2: Name, Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Datum Straße, Treffpunkt 1NF, aber da Straße partiell von Name, Datum abhängt ist die Relation bzgl. dieser Menge an funktionellen Abhängigkeiten nicht in 2NF. Folglich auch nicht in 3NF. 26

27 b) Fkt. Abhängigkeiten FA1: Name, Straße, Datum Treffpunkt 27

28 b) Fkt. Abhängigkeiten FA1: Name, Straße, Datum Treffpunkt Schlüsselkandidaten: Name, Straße, Datum 28

29 b) Fkt. Abhängigkeiten FA1: Name, Straße, Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Name, Straße, Datum Treffpunkt 29

30 b) Fkt. Abhängigkeiten FA1: Name, Straße, Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Straße, Datum Treffpunkt Da nur eine funktionale Abhängigkeit existiert, kann es weder partielle noch transitive Abhängigkeiten geben. Die Relation ist bzgl. dieser Menge an funktionellen Abhängigkeiten somit in 3NF. 30

31 c) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum, Treffpunkt Name, Straße 31

32 c) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum, Treffpunkt Name, Straße Schlüsselkandidaten: Name, Straße oder Datum, Treffpunkt 32

33 c) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum, Treffpunkt Name, Straße Schlüsselkandidaten: Nicht-Primärattribute: Name, Straße oder Datum, Treffpunkt Ø 33

34 c) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum, Treffpunkt Name, Straße Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Straße oder Datum, Treffpunkt Ø Da es keine Nicht-Primärattribute gibt, muss die Relation bzgl. dieser Menge an funktionellen Abhängigkeiten in 3NF sein. 34

35 d) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum Treffpunkt 35

36 d) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum Treffpunkt Schlüsselkandidaten: Name, Straße 36

37 d) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Name, Straße Datum, Treffpunkt 37

38 d) Fkt. Abhängigkeiten FA1: Name, Straße Datum, Treffpunkt FA2: Datum Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Straße Datum, Treffpunkt Es treten keine partiellen Abhängigkeiten auf. Die Relation ist somit in 2NF. Da Treffpunkt aber über Datum transitiv von Name, Straße abhängt, ist die Relation bzgl. dieser Menge an funktionellen Abhängigkeiten nicht in 3NF. 38

39 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name 39

40 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name Schlüsselkandidaten: Datum, Treffpunkt oder Name, Treffpunkt oder Straße, Treffpunkt 40

41 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name Schlüsselkandidaten: Datum, Treffpunkt oder Name, Treffpunkt oder Straße, Treffpunkt 41

42 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name Schlüsselkandidaten: Datum, Treffpunkt oder Name, Treffpunkt oder Straße, Treffpunkt 42

43 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name Schlüsselkandidaten: Nicht-Primärattribute: Datum, Treffpunkt oder Name, Treffpunkt oder Straße, Treffpunkt Ø 43

44 e) Fkt. Abhängigkeiten FA1: Name Datum FA2: Datum, Treffpunkt Straße FA3: Straße Name Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Datum, Treffpunkt oder Name, Treffpunkt oder Straße, Treffpunkt Ø Da es keine Nicht-Primärattribute gibt, muss die Relation bzgl. Dieser Menge an funktionellen Abhängigkeiten in 3NF sein. 44

45 f) Fkt. Abhängigkeiten FA1: Name Straße FA2: Datum Treffpunkt FA3: Straße, Datum Name 45

46 f) Fkt. Abhängigkeiten FA1: Name Straße FA2: Datum Treffpunkt FA3: Straße, Datum Name Schlüsselkandidaten: Name, Datum oder Straße, Datum 46

47 f) Fkt. Abhängigkeiten FA1: Name Straße FA2: Datum Treffpunkt FA3: Straße, Datum Name Schlüsselkandidaten: Nicht-Primärattribute: Name, Datum oder Straße, Datum Treffpunkt 47

48 f) Fkt. Abhängigkeiten FA1: Name Straße FA2: Datum Treffpunkt FA3: Straße, Datum Name Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Datum oder Straße, Datum Treffpunkt 1NF, aber da Treffpunkt partiell von Straße, Datum und von Name, Datum abhängt ist die Relation bzgl. Dieser Menge an funktionellen Abhängigkeiten nicht in 2NF. Folglich auch nicht in 3NF. 48

49 g) Fkt. Abhängigkeiten FA1: Name, Straße Treffpunkt FA2: Datum Treffpunkt FA3: Treffpunkt Datum 49

50 g) Fkt. Abhängigkeiten FA1: Name, Straße Treffpunkt FA2: Datum Treffpunkt FA3: Treffpunkt Datum Schlüsselkandidaten: Name, Straße 50

51 g) Fkt. Abhängigkeiten FA1: Name, Straße Treffpunkt FA2: Datum Treffpunkt FA3: Treffpunkt Datum Schlüsselkandidaten: Nicht-Primärattribute: Name, Straße Datum, Treffpunkt 51

52 g) Fkt. Abhängigkeiten FA1: Name, Straße Treffpunkt FA2: Datum Treffpunkt FA3: Treffpunkt Datum Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Name, Straße Datum, Treffpunkt Es treten keine partiellen Abhängigkeiten auf. Die Relation ist bzgl. dieser funktionellen Abhängigkeiten somit in 2NF. Da Datum aber über Treffpunkt transitiv von Name, Straße abhängt, ist die Relation bzgl. dieser Menge an funktionellen Abhängigkeiten nicht in 3NF. 52

53 h) Fkt. Abhängigkeiten FA1: Treffpunkt Name FA2: Name Datum, Straße, Treffpunkt 53

54 h) Fkt. Abhängigkeiten FA1: Treffpunkt Name FA2: Name Datum, Straße, Treffpunkt Schlüsselkandidaten: Treffpunkt oder Name 54

55 h) Fkt. Abhängigkeiten FA1: Treffpunkt Name FA2: Name Datum, Straße, Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Treffpunkt oder Name Straße, Datum 55

56 h) Fkt. Abhängigkeiten FA1: Treffpunkt Name FA2: Name Datum, Straße, Treffpunkt Schlüsselkandidaten: Nicht-Primärattribute: Normalformen: Treffpunkt oder Name Straße, Datum Da beide Schlüsselkandidaten einattributig sind, kann es keine partiellen Abhängigkeiten geben. Die Relation ist bzgl. dieser funktionellen Abhängigkeiten somit in 2NF. Da es sich bei Treffpunkt und Name jeweils um einen Schlüsselkandidaten handelt und somit Treffpunkt Name gilt, existieren auch keine transitiven Abhängigkeiten. Die Relation ist bzgl. dieser Menge an funktionellen Abhängigkeiten daher sogar in 3NF. 56