Fachwörterbuch Relationale Datenbanken kurz & gut

28

|

Fachwörterbuch Relationale Datenbanken

direktes Image

Ein etwas kruder, aber in fast allen gängigen Datenbank-

produkten von heute angewandter Implementierungsstil, bei dem

das, was physikalisch gespeichert wird, eigentlich nur ein direktes

Image von dem ist, was der Benutzer logisch zu sehen bekommt (d.h.,

die Relvars werden als physikalische Dateien gespeichert, und Tupel

und Attribute werden als Datensätze und Felder innerhalb dieser

Dateien gespeichert).

disjunkt

(engl. Disjoint) Die Mengen s1 und s2 sind genau dann disjunkt,

wenn sie keine gemeinsamen Elemente haben.

Disjunkte Vereinigung

Eine Version des relationalen Operators UNION,

für die die Relationsoperanden disjunkt sein müssen, also keine

gemeinsamen Tupel besitzen dürfen. (Diese Operation könnte man

natürlich auch auf Mengen im Allgemeinen und nicht nur auf Rela-

tionen im Besonderen anwenden.)

Beispiel: Betrachten Sie den Ausdruck (S{CITY}) D_UNION

(P{CITY}). Wenn die Relvars S und P die aktuellen Werte wie in

Abbildung 1 haben, verursacht dieser Ausdruck einen Laufzeitfehler,

da die Operanden nicht disjunkt sind. Wenn sie es wären, wäre der

Ausdruck semantisch äquivalent zu (S{CITY}) UNION (P{CITY}).

Disjunktion

Wenn p und q Prädikate sind, ist ihre Disjunktion (p) OR (q)

ebenfalls ein Prädikat. Sei (pi) OR (qi) ein Aufruf dieses Prädikats

(wobei pi und qi Aufrufe von p und q sind). Dann ist der Aufruf (pi)

OR (qi) genau dann TRUE, wenn mindestens entweder pi oder qi

TRUE ist. Hinweis: Die Klammern, die p und q in der Disjunktion

umschließen, sind in der Praxis mitunter überflüssig.

disjunktive Normalform

Ein Prädikat befindet sich genau dann in der dis-

junktiven Normalform (DNF), wenn es die Form (p1) OR (p2) OR ...

OR (pn) hat, wobei keine der Disjunktionen (p1), (p2), ..., (pn)

irgendwelche ORs enthält.

distributiv

1. Seien die Operatoren OpM und OpD monadisch bzw. dya-

disch. Dann gilt: OpM ist distributiv über OpD genau dann, wenn

für alle x und y gilt: OpM(x OpD y) = (OpM(x)) OpD (OpM(y)).

2. Seien die Operatoren OpC und OpD beide dyadisch, und der

Definitheit halber soll gelten, dass sie als Infixe ausgedrückt sind.

Dann ist OpC distributiv über OpD genau dann, wenn für alle x, y

und z, x OpC (y OpD z) = (x OpC y) OpD (x OpC z).