BIRNE: Mixed-paradigm Workload Execution in SQL Engines

Zusammenfassung

Frühere Arbeiten zu UDF-Compilierungsstrategien haben gezeigt, dass SQL-Engines effiziente Ausführungsumgebungen für imperative Workloads über relationale Daten sein können. In diesem Beitrag stellen wir BIRNE vor, eine wesentliche Erweiterung unseres Flummi-Compilers mit Unterstützung für gemischt-paradigmatische Workloads, sodass datenbankresidente Programme sowohl mit imperativen als auch mit funktionalen Konstrukten ausgedrückt werden können. Dazu führen wir eine spezialisierte Form von Kontrollflussgraphen ein, die wir Kontrollflusspläne nennen: Sie erlauben es, Kontrollfluss und Datenabhängigkeiten so auszudrücken, dass schlichtes SQL als Compilierungsziel dienen kann. Wir zeigen, dass sich mit diesem Ansatz eine breite Palette von Workloads in eine einzige SQL-Anfrage compilieren lässt und dass er bestehende Ansätze in vielen Fällen hinsichtlich der Gesamtlaufzeit übertrifft.