KIT | KIT-Bibliothek | Impressum | Datenschutz

Eine Basis für effiziente Konsistenzprüfung

Herzog, Uwe; Moerkotte, Guido

Abstract:

In diesem Bericht wird eine Uebersetzungstechnik fuer effiziente
Konsistenztests in Datenbanken vorgestellt. Waehrend die meisten
Arbeiten auf dem Gebiet der Konsistenzpruefung eine Interpretation
der vereinfachten Konsistenzbedingungen zur Laufzeit durchfuehren,
wird hier eine Uebersetzungstechnik verwendet, welche deklarativ
beschriebene Konsistenzbedingungen in eine erweiterte relationale
Algebra uebersetzt.
Da fuer die Uebersetzung der Konsistenzbedingungen in eine
algebraische Darstellung zahlreiche Moeglichkeiten existieren, ist
eine Optimierung, beispielsweise durch Ausnutzung statistischen
Wissens, moeglich.

Ein weiterer Vorteil des Ansatzes ergibt sich aus den
Erweiterungen der Algebra. Typische algebraische Operatoren haben
zwei Eingabemengen und nur eine Ausgabemenge. Werden dagegen mehr
als eine Ausgabemenge und mehr als zwei Eingabemengen zugelassen,
verbessern sich die Kommunikations- und Ausdrucksfaehigkeiten der
Operatoren.Die Verwendung dieser als Bypass-Technik bezeichneten
Methode ermoeglicht einerseits schnelle Konsistenztests zur
Laufzeit und bildet andererseits die Basis fuer eine weitere
Effizienzsteigerung ... mehr

Open Access Logo


Volltext §
DOI: 10.5445/IR/57494
Downloads: 306
seit 11.11.2008
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Jahr 1994
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA574946
KITopen-ID: 57494
Erscheinungsvermerk Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,7.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page