Update-Propagierung in objektorientierten Datenbanksystemen mit physischer Datenunabhängigkeit

Abstract

In dieser Arbeit wird der im Projekt CROQUE untersuchte Aspekt der Transformation und Optimierung von Änderungsoperationen auf einer Objektdatenbank-Schnittstelle bearbeitet: Physische Datenunabhängigkeit gemäß der ANSI 3-Schichten-Architektur ermöglicht es, auf Geschwindigkeitsaspekte in bestehenden Datenbanken Einfluss zu nehmen, ohne die existierenden Datenbankapplikationen verändern zu müssen. So können im Nachhinein physische Speicherstrukturen, wie z.B. Indexe, verändert, reorganisiert, hinzugefügt oder entfernt werden.Zur Nutzung der physischen Freiheitsgrade wird das vorgestellte Anfragesystem formal um physische Datentypen und Operationen erweitert, so dass sich physische Speicherformen wie Clusterung, Schachtelung und Indizierung homogen beschreiben lassen. Zur Auswertung wird eine funktionale Anfragesprache angeboten, in der Parallelität, Lazy-Evaluation und Pipeline-Technik elegant kombiniert werden können.Updates in physische Strukturen einzubringen ist trivial, in den meisten Fällen aber hochgradig ineffizient und erfordert deshalb eine Optimierung. Oftmals lassen sich Änderungen effizient in physische Strukturen einbringen, ohne eine gespeicherte Sicht komplett neu zu berechnen, d.h. logische Änderungsoperationen sollen durch Optimierung in effiziente inkrementelle und parallel ausführbare View-Erhaltungspläne überführt werden. Dies kann aufgrund elementarer Eigenschaften der verwendeten Anfrageoperatoren und -funktionen der Anfragesprache in vielen Fällen unmittelbar durchgeführt werden. Hierzu werden Transformations- und Optimierungsregeln von logischen Update-Operationen in physisch ausführbare parallele Update-Programme aufgezeigt.