|
Abstract |
Die Kenntnis von unären Inklusionsabhängigkeiten und
funktionalen Abhän gigkeiten in relationalen Datenbanken ist zentral
für die drei
folgenden Problembereiche, das Datenbankdesign, die Entdeckung und
?berwachung von Integritätsbedingungen und die semantische
Anfrageoptiemierung. In dieser Arbeit wird zunächst ein Algorithmus
vorgestellt, der unter Ausnutzung einer existierenden Axiomatisierung
unäre Inklusionsabhängigkeiten
entdeckt. Es wird die Korrektheit und Vollständigkeit dieses Algorithmus
gezeigt, sowie eine Laufzeitabschätzung angegeben. Anschliess oend wird ein
Algorithmus zur Bestimmung funktionaler Abhängigkeiten vorgestellt.
Dabei werden neben den bereits entdeckten unären
Inklusionsabhängigkeiten
weitere Regeln ausgenutzt, die aus einer Axiomatisierung zur gemeinsamen
Ableitung unärer Inklusionsabhängigkeiten und funktionaler
Abhängigkeiten folgen. Die Arbeit endet mit einem experimentellen
Vergleich zwischen
den Algorithmen aus [Safnik und Flach, 1993] und [Schlimmer, 1993] und
dem hier vorgestellten Algorithmus, nachdem zuvor die Korrektheit und
Vollständigkeit des letzteren gezeigt wurde.
|
