Hauptnavigation

Entdeckung von funktionalen Abhägigkeiten und unären Inklusionsabhängigkeiten in relationalen Datenbanken

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