Datenverbund

Datenverbund

Ein Verbund (engl. object composition) ist ein aus Komponenten verschiedener Datentypen zusammengesetzter Datentyp. Da die Komponenten eines Verbunds wieder Verbünde sein können, können so auch komplexe Datenstrukturen definiert werden.

Es gibt grundlegend zwei verschiedene Möglichkeiten der Anordnung der Komponenten in einem Verbund: Die Komponenten werden entweder nacheinander im Speicher angeordnet (beispielsweise als struct in der Programmiersprache C bzw. als record in Pascal bezeichnet), oder alle Komponenten sind überlappend im Speicher angeordnet und jede Komponente hat die gleiche Anfangsspeicheradresse (beispielsweise als union in der Programmiersprache C bzw. als variant record in Pascal bezeichnet). Letzteres hat den Vorteil, dass der gesamte Verbund weniger Speicher verbraucht, er jedoch nur für einzelne Szenarien zweckmäßig ist.

In einigen rein objektorientierten Sprachen, wie beispielsweise Smalltalk, sind Verbünde daher nicht vorgesehen. Dadurch, dass auf ihre Elemente normalerweise direkt zugegriffen werden kann, wird gegen das Prinzip der Kapselung verstoßen. Andere rein objektorientierten Sprachen, wie zum Beispiel Oberon oder Component Pascal verwenden erweiterte Verbünde, bei denen auf sehr einfache Art und Weise Methoden und Sichtbarkeitsregeln (Exportkennzeichnungen) definiert werden können, um Vererbung zu modellieren.

Ein Datensatz ist eine Instanz eines Verbunds.

Inhaltsverzeichnis

Struct

C/C++-Strukturen

Strukturen werden in der Programmiersprache C sowie C++ auf folgende weise deklariert:

  1. struct Verbundname {
  2.      type attribut;
  3.      type attribut2;
  4.      [...]
  5.  } instanz1, instanz2, ...;

Die Deklarierung einer Struktur erwartet nach dem Keyword struct einen eindeutigen Namen der Struktur, der anschließen (bei C++) im gesamten Namensraum bzw. (bei C) global gültig ist, um Instanzen der Struktur zu erzeugen. Eine oder mehrere Instanzen können auch direkt nach der Auflistung der Attribute erzeugt werden, wie im Beispiel mit instanz1, instanz2 angedeutet.

Strukturen dürfen sowohl in C als auch in C++ auch keine Attribute beinhalten (leere Struktur), in diesem Fall erzeugen die meisten Compiler automatisch ein Attribut des Datentypes char.

Strukturen dürfen auch andere Strukturen enthalten, jedoch nicht sich selbst, weil die Größe einer Struktur damit undefiniert wäre. Ein Zeiger auf sich selbst ist jedoch möglich – auf diese Weise werden beispielsweise verkettete Listen erzeugt.

Implementierung in Component Pascal

Ein Verbund vom Datentyp Person für eine Instanz Mustermann könnte in Component Pascal zum Beispiel folgendermaßen definiert und verwendet werden:

 MODULE Personen;
 
 IMPORT Dates;
 
 TYPE Person =
    RECORD
       Vorname, Name, Wohnort: ARRAY 256 OF CHAR;
       Geburtstag: Dates.Date;
    END;
 
 VAR Mustermann: Person;
 
 BEGIN
    Mustermann.Vorname          := "Hans";
    Mustermann.Name             := "Mustermann";
    Mustermann.Wohnort          := "Musterstadt";
    Mustermann.Geburtstag.day   :=    1;
    Mustermann.Geburtstag.month :=    1;
    Mustermann.Geburtstag.year  := 1900;
 END Personen.

Der importierte im Modul Dates definierte Datentyp Dates.Date ist wiederum ein Verbund mit den ganzzahligen Elementen day (Tag), month (Monat) und year (Jahr).

Union

Die Komponenten einer Union teilen sich einen Speicherbereich. Die Anfangsadresse jeder Komponente im Speicher ist identisch, das heißt die Speicherbereiche der Komponenten haben einen Überlapp.

Der Speicherbedarf einer Union u mit k Komponenten ist definiert als size(u) = \max \{ c_i | 0 \le i < k \}, wobei ci die i-te Komponente der Union u bezeichnet.

Unions sind in verschiedenen Programmiersprachen entweder als tagged-Unions oder untagged-Unions implementiert.

Eine tagged-Union ordnet jeder Komponente einen tag zu. Beim Schreiben einer Komponente wird der tag dieser Komponente in der Union-Variable gespeichert. Bei Lesezugriffen auf Komponente einer Union wird der tag der zu lesenden Komponente mit dem tag der letzten geschriebenen Komponente verglichen. Unterscheiden sich die tags ist ein Typfehler festgestellt. Somit sind tagged-Unions typsicher.

Untagged-Unions verwenden keine tags und sind deswegen typunsicher. D.h. es liegt in der Verantwortung des Programmierers, dass der letzte Schreibzugriff einer Union die gleiche Komponente verändert hat, die auch der darauf folgende Lesezugriff ausliest. Nehmen unbeabsichtigten Typfehlern bei der Verwendung von untagged-Unions existieren aber auch Anwendungsfälle für die Seiteneffekte von untagged-Unions. Beispielsweise eine Union aus einer IEEE-Gleitkommazahl und einer struct, deren Komponenten den Zugriff auf Vorzeichen, Mantisse und Exponent erlauben.

Beispiel: tagged-Union

Beispiel der Deklaration einer tagged-Union in Haskell.

data Tree a = Br (Tree a) (Tree a) |
              Leaf a               |
              Nil

Tree ist ein algebraischer Datentyp und die Konstruktoren des Datentyps sind die tags. Die tags der Union sind also Br, Leaf und Nil.

Beispiel: untagged-Union

Die Programmiersprachen C sowie C++ implementieren untagged-Unions:

union endian {
  int i;
  char c;
};
 
union endian e;
e.i = 1;
if (e.c)
  puts("litte endian");
else
  puts("big endian");

Je nach Rechnerarchitektur überlappen sich das least- bzw. most-significant Byte des Integer-Komponente i und die 1-Byte große Komponente c.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Datenverbund — Datenverbund,   der Rechnerverbund (z. B. über Rechnernetze) oder andere Formen der technikgestützten Verbindung (z. B. Datex Dienste oder ISDN) von Informationssystemen (z. B. Datenbanken), um von verschiedenen Orten den Zugang zu den im… …   Universal-Lexikon

  • Datacontainer — Der Datacontainer ist das Kernelement der gleichnamigen Datacontainer Technologie. Grundidee ist das einfach handhabbare, weltweit verbreitete und auf allen Betriebssystemen verfügbare Standardformat JPEG File Interchange Format (JFIF) als neues… …   Deutsch Wikipedia

  • Inpol-neu — ist das bundesländerübergreifende Informationssystem der Polizei beim Bundeskriminalamt, das 2003 das veraltete System INPOL ablöste. INPOL neu ist als Verbunddatei aufgebaut. Das Verbundsystem besteht aus den beiden Bereichen: INPOL zentral beim …   Deutsch Wikipedia

  • Verkehr: Neue Denkansätze —   Die Verkehrsprobleme der Zukunft werden sich auch durch die ausgeklügeltsten technischen Konzepte nicht lösen lassen. Denn allein auf den bundesdeutschen Straßen soll der Güterverkehr bis zum Jahr 2010 um rund 80 Prozent im Vergleich zu 1991… …   Universal-Lexikon

  • Diskus — (von griechisch δίσκος „Platte“, „ Scheibe“; Plural: Disken oder Diskusse) bezeichnet: ein bereits antikes Sportgerät, siehe Diskos und Diskuswurf die auf Kreta gefundene, aus minoischer Zeit stammende, beschriftete Steinscheibe, siehe Diskos von …   Deutsch Wikipedia

  • EULIS — European land information service ist ein europaweiter Datenverbund nationaler Grundbuchsysteme. Ziel des Verbundes ist ein wechselseitiger Datenzugriff auf nationale Grundbuchdatenbanken. Europaweit wird innerhalb der EULIS Partnerstaaten… …   Deutsch Wikipedia

  • Faraday-Station — DMS …   Deutsch Wikipedia

  • IGH — Die Abkürzung IGH steht für: den Gerichtshof der Vereinten Nationen, siehe Internationaler Gerichtshof ein Bauunternehmen aus Kroatien, siehe Institut građevinarstva Hrvatske Interessengemeinschaft Hämophiler Interessengemeinschaft Datenverbund… …   Deutsch Wikipedia

  • INPOL-neu — ist das bundesländerübergreifende Informationssystem der Polizei beim Bundeskriminalamt, das 2003 das veraltete System INPOL ablöste. INPOL neu ist als Verbunddatei aufgebaut. Das Verbundsystem besteht aus den beiden Bereichen: INPOL zentral beim …   Deutsch Wikipedia

  • Mokopa — Die Bezeichnung Mokopa trägt eine gegen gepanzerte Ziele wirkende Rakete der Firmengruppe Denel. Bei der Mokopa handelt es sich um ein modulares Waffensystem, dass verschiedene Sensoren und Sprengköpfe benutzen kann. Dabei kann die Rakete von… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”