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).

Get Fachwörterbuch Relationale Datenbanken kurz & gut now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.