Relationen-Algebra und Persistenz Teil I

Transkript

1 Relationen-Algebra und Persistenz Teil I Implementierungskonzepte und Anforderungen an Attributdatentypen LG Datenbanksysteme für neue Anwendungen

2 Inhalt Flobs DbArrays Attributsdatentypen Folie 2

3 Bisher: Folie 3

4 Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Folie 4

5 Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Folie 5 Mein Datentyp verwaltet aber große Datenmengen.

6 Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Folie 6 Mein Datentyp verwaltet aber große Datenmengen. Mein Datentyp hat eine veränderliche Größe!

7 Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Mein Datentyp verwaltet aber große Datenmengen. Mein Datentyp hat eine veränderliche Größe! Beispiele: Bilder, Videos, Webseiten Folie 7

8 Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Mein Datentyp verwaltet aber große Datenmengen. Mein Datentyp hat eine veränderliche Größe! Beispiele: Bilder, Videos, Webseiten Wie speichere ich solche Daten persistent und effizient? Folie 8

9 Flob Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Mein Datentyp verwaltet aber große Datenmengen. Mein Datentyp hat eine veränderliche Größe! Beispiele: Bilder, Videos, Webseiten Wie speichere ich solche Daten persistent und effizient? Folie 9

10 Flob Bisher: Ich kann bereits einfache Daten fester Größe verwalten. Mein Datentyp verwaltet aber große Datenmengen. Mein Datentyp hat eine veränderliche Größe! Beispiele: Bilder, Videos, Webseiten Wie speichere ich solche Daten persistent und effizient? Folie 10 Flob = Faked Large OBject

11 Flob Folie 11

12 Flob Folie 12 Datenstruktur zur Speicherung beliebiger Datenmengen

13 Flob Folie 13 Datenstruktur zur Speicherung beliebiger Datenmengen Aber: Das Objekt muss insgesamt im Hauptspeicher darstellbar sein! (Zumindest für einige Operationen)

14 Flob Folie 14 Datenstruktur zur Speicherung beliebiger Datenmengen Eingebauter Persistenzmechanismus

15 Flob Folie 15 Datenstruktur zur Speicherung beliebiger Datenmengen Eingebauter Persistenzmechanismus Verwaltet unstrukturierte Speicherblöcke (wie malloc)

16 Flob Folie 16 Datenstruktur zur Speicherung beliebiger Datenmengen Eingebauter Persistenzmechanismus Verwaltet unstrukturierte Speicherblöcke (wie malloc) Zugriff mittels spezieller Funktionen und eines offsets

17 Flob Folie 17 Datenstruktur zur Speicherung beliebiger Datenmengen Eingebauter Persistenzmechanismus Verwaltet unstrukturierte Speicherblöcke (wie malloc) Zugriff mittels spezieller Funktionen und eines offsets

18 Flob Datenstruktur zur Speicherung beliebiger Datenmengen Eingebauter Persistenzmechanismus Verwaltet unstrukturierte Speicherblöcke (wie malloc) Zugriff mittels spezieller Funktionen und eines offsets class Flob { Flob( const SmiSize size ); size_t Size() const; bool write(const char* buffer, const SmiSize length, const SmiSize offset); bool read(char* buffer, const SmiSize length, const SmiSize offset); void resize( size_t size ); void clean(); void destroy(); } Folie 18

19 Flob Datenstruktur zur Speicherung beliebiger Datenmengen Achtung! Eingebauter Persistenzmechanismus Flobs werden direkt en bloc auf die Platte geschrieben. Verwaltet unstrukturierte Speicherblöcke (wieeingelesen. malloc) Flobs werden an irgendeine Stelle in den Speicher Zugriff mittels Sie spezieller Funktionen und eines offsets Verwenden keine Zeiger in Flobs, sondern offsets! class Flob { Flob( const SmiSize size ); size_t Size() const; bool write(const char* buffer, const SmiSize length, const SmiSize offset); bool read(char* buffer, const SmiSize length, const SmiSize offset); void resize( size_t size ); void clean(); void destroy(); } Folie 19

20 Flob Problem gelöst! Folie 20

21 Flob Problem gelöst? Folie 21

22 Flob Problem gelöst? Flobs sind mir zu unstrukturiert. Folie 22

23 Flob Problem gelöst? Flobs sind mir zu unstrukturiert. Ich bräuchte aber eher etwas, um strukturierte Daten persistent speichern zu können. Folie 23

24 Flob Problem gelöst? Flobs sind mir zu unstrukturiert. Ich bräuchte aber eher etwas, um strukturierte Daten persistent speichern zu können. Ich will variabel viele Einträge fester Größe verwalten. Folie 24

25 Flob Problem gelöst? Flobs sind mir zu unstrukturiert. Ich bräuchte aber eher etwas, um strukturierte Daten persistent speichern zu können. Ich will variabel viele Einträge fester Größe verwalten. Eigentlich hätte ich gerne ein dynamisches array. Folie 25

26 Flob Problem gelöst? Flobs sind mir zu unstrukturiert. Ich bräuchte aber eher etwas, um strukturierte Daten persistent speichern zu können. Ich will variabel viele Einträge fester Größe verwalten. Eigentlich hätte ich gerne ein dynamisches array.??? Folie 26

27 DbArray Problem gelöst? Flobs sind mir zu unstrukturiert. Ich bräuchte aber eher etwas, um strukturierte Daten persistent speichern zu können. Ich will variabel viele Einträge fester Größe verwalten. Eigentlich hätte ich gerne ein dynamisches array. Folie 27

28 DbArray Container für kompakte Datentypen fester Länge. Folie 28

29 DbArray Container für kompakte Datentypen fester Länge. Elementtyp muss einfach sein: Keine echten Zeiger! Keine Flobs oder DbArrays als Elemente! Folie 29

30 DbArray Container für kompakte Datentypen fester Länge. Elementtyp muss einfach sein: Keine echten Zeiger! Keine Flobs oder DbArrays als Elemente! DbArray ist eine Template-Klasse, die von Flob abgeleitet ist. Ein- und Auslagerung von Datenteilen muss daher (wie beim Flob) nicht selbst programmiert werden! Folie 30

31 DbArray Container für kompakte Datentypen fester Länge. Elementtyp muss einfach sein: Keine echten Zeiger! Keine Flobs oder DbArrays als Elemente! DbArray ist eine Template-Klasse, die von Flob abgeleitet ist. Ein- und Auslagerung von Datenteilen muss daher (wie beim Flob) nicht selbst programmiert werden! Wird ein DbArray sortiert abgespeichert, so ist eine effiziente externe binäre Suche möglich. Folie 31

32 DbArray template<class DbArrayElement> class DbArray : public Flob { DbArray( const int n ); int Size() const; void resize( const int newsize ); void clean(); void Put( const int index, const DbArrayElement& elem ); void Append( const DbArrayElement& elem ); void Get( const int index, DbArrayElement &elem ) const; void TrimToSize(); void Sort( int (*cmp)( const void *a, const void *b) ); bool Find( const void *key, int (*cmp)( const void *a, const void *b), int& result ) const void Destroy(); [...] } Folie 32

33 Bisher: Einfache Datentypen. Was ging damit? Folie 33

34 Bisher: Einfache Datentypen. Was ging damit? Erzeugen von Objekten Anwenden von Operatoren Speichern in Datenbank, Löschen aus Datenbank Umwandlung von/zu Nested List Folie 34

35 Bisher: Einfache Datentypen. Was ging damit? Erzeugen von Objekten Anwenden von Operatoren Speichern in Datenbank, Löschen aus Datenbank Umwandlung von/zu Nested List Was fehlt bislang? Folie 35

36 Bisher: Einfache Datentypen. Was ging damit? Erzeugen von Objekten Anwenden von Operatoren Speichern in Datenbank, Löschen aus Datenbank Umwandlung von/zu Nested List Was fehlt bislang? Verwendung als Attribut in Relationen Folie 36

37 Attributdatentypen Bisher: Einfache Datentypen. Was ging damit? Erzeugen von Objekten Anwenden von Operatoren Speichern in Datenbank, Löschen aus Datenbank Umwandlung von/zu Nested List Was fehlt bislang? Verwendung als Attribut in Relationen Folie 37

38 Attributdatentypen Können in Relationen als Attribute verwendet werden. Attributdatentyp: Oberklasse Attribute, Kind DATA. Erfordernisse: Folie 38

39 Attributdatentypen Können in Relationen als Attribute verwendet werden. Attributdatentyp: Oberklasse Attribute, Kind DATA. Erfordernisse: Sicherstellen einer Mindest-Funktionalität (Compare, IsDefined, SetDefined, Adjacent, Print,...) Folie 39

40 Attributdatentypen Können in Relationen als Attribute verwendet werden. Attributdatentyp: Oberklasse Attribute, Kind DATA. Erfordernisse: Sicherstellen einer Mindest-Funktionalität (Compare, IsDefined, SetDefined, Adjacent, Print,...) Support für den automatischen Persistenzmechanismus von Tupeln (C++ kennt keine Serialisierung!) (NumOfFLOBs, GetFLOB, SizeOf, Open, Save) Folie 40

41 Attributdatentypen Können in Relationen als Attribute verwendet werden. Attributdatentyp: Oberklasse Attribute, Kind DATA. Erfordernisse: Sicherstellen einer Mindest-Funktionalität (Compare, IsDefined, SetDefined, Adjacent, Print,...) Support für den automatischen Persistenzmechanismus von Tupeln (C++ kennt keine Serialisierung!) (NumOfFLOBs, GetFLOB, SizeOf, Open, Save) Verwenden keine dynamischen Objekte/Zeiger! Folie 41

42 Attributdatentypen Können in Relationen als Attribute verwendet werden. Attributdatentyp: Oberklasse Attribute, Kind DATA. Erfordernisse: Beispiel Sicherstellen einer Mindest-Funktionalität (Compare, IsDefined, SetDefined, Adjacent, Print,...) Der Support DatentypfürPolygon aus der Polygon Algebra stellt einen den automatischen Persistenzmechanismus von Datentyp der kennt keine Serialisierung!) (NumOfFLOBs, Tupelndar, (C++ als Attribut in Relationen verwendet werden kann und GetFLOB, SizeOf, Open, Save) den Speicherverwaltungstyp DbArray verwendet: Verwenden keine dynamischen Objekte/Zeiger Folie 42

43 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 43

44 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: Klasse Polygon DbArray<Vertex> vertices; wird von Klasse PolygonState state; Attribute abgeleitet }; Folie 44

45 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Wichtig: Polygon( const int n, const int *X = 0, Bei Mehrfachvererbung darf keineconst Klasseint mehrfach *Y = 0von ); ~Polygon(); derselben Klasse (z.b. Attribute) erben. Sonst: Probleme bei der Typkonvertierung (cast). int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: Klasse Polygon DbArray<Vertex> vertices; wird von Klasse PolygonState state; Attribute abgeleitet }; Folie 45

46 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 46

47 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] Standard-Konstruktor private: DbArray<Vertex> vertices; Wird vom Persistenzmechanismus verwendet. PolygonState state; Darf das Objekt nicht verändern. }; Folie 47

48 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, Wichtig: const int *X = 0, Vermeiden Sie die Nutzung des Standard-Konstruktors. const int *Y = 0 ); ~Polygon(); Diese führt häufig wegen uninitialisierter Werte zu Fehlern. Initialisieren Sie Objekte mittels anderer Konstruktoren. int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] Standard-Konstruktor private: DbArray<Vertex> vertices; Wird vom Persistenzmechanismus verwendet. PolygonState state; Darf das Objekt nicht verändern. }; Folie 48

49 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 49

50 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: Einziges DbArray<Vertex> vertices; Flob-Objekt PolygonState state; in Polygon }; Folie 50

51 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 51

52 Attributdatentyp: Polygon Anzahl der Flobs zurückgeben: int class Polygon : public Attribute Polygon::NumOfFLOBs() const { { public: return 1; Polygon() {} } Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 52

53 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 53

54 Attributdatentyp: Polygon Den i-ten Flob zurückgeben: Flob *Polygon::GetFLOB(const int i) class Polygon : public Attribute { { assert( i >= 0 && public: i < NumOfFLOBs() ); Polygon() {} return &vertices; Polygon( const int n, const int *X = 0, } const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 54

55 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 55

56 Attributdatentyp: Polygon int Compare(const Attribute* rhs) const; Falls beide Objekte definiert: class Polygon : public Attribute *this < *rhs -1 { *this = *rhs 0 public: 1 Polygon() {} *this > *rhs Polygon( const int n, const int *X = 0, Sonst: const int *Y *this = 0 ); < *rhs undef x def -1: ~Polygon(); undef x undef 0: *this = *rhs defconst; x undef 1: *this > *rhs int NumOfFLOBs() Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 56

57 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, const int *Y = 0 ); ~Polygon(); int NumOfFLOBs() const; Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 57

58 Attributdatentyp: Polygon Weitere zu überschreibende Funktionen: bool Adjacent(const Attribute*) const; public *Clone() Attribute Polygon const; size_t Sizeof() const; void CopyFrom(const Attribute* right); size_t HashValue() const; class Polygon : { public: Polygon() {} Polygon( const int n, const int *X = 0, Ererbte Funktionen: const int *Y = 0 ); ~Polygon(); bool IsDefined() const; NICHT überschreiben! void SetDefined( bool defined ); int NumOfFLOBs() Beiconst; Überschreiben Attribute::SetDefined(...) aufrufen! Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 58

59 Attributdatentyp: Polygon class Polygon : public Attribute { public: Polygon() {} Polygon( const int n, const int *X = 0, Wichtig: const int *Y = 0 ); Überschreibt man diese Funktionen nicht, z.b. weil man sich ~Polygon(); im Namen mit Groß- oder Kleinschreibung vertan hat, führt dies int NumOfFLOBs() const; mitunter zu Speicherfehlern! Flob *GetFLOB(const int i); int Compare(const Attribute*) const; [...] private: DbArray<Vertex> vertices; PolygonState state; }; Folie 59

60 Noch Fragen?! Folie 60