Institut für Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn

Index
Institut
Forschung
Lehre
Studium
DV Dienste
Aktuelles
Suche
english page .
Up:Sommersemester 2010
Prev.:Goldlücke
Next.:Camp

Kolloquium Sommersemester 2010

Die Dozenten der Informatik

Prof. Dr. Torsten Grust, Universität Tübingen, Wilhelm-Schickard-Institut für Informatik, Lehrstuhl für Datenbanksysteme

speaks about

Ferry --- Database-Supported Program Execution

Datum: Montag, July 5, 2010
Zeit: 17:15 Uhr
Ort: Hörsaal 1, Römerstraße 164

Abstract

Das Projekt Ferry (http://www.ferry-lang.org) schlägt eine Brücke zwischen zwei etwas entfernten Ufern: Programmiersprachen und Datenbank-Technologie. Wie weit trägt die Idee, relationale Datenbank-Engines direkt und nahtlos an der Programmausführung mitwirken zu lassen, um auf diesem Wege extrem hohe Effizienz von datenintensiven Programmen zu erreichen, die in allgemeinen, nicht auf Datenbankverarbeitung spezialisierten, Programmiersprachen geschrieben wurden?

Als Rahmen für die Exploration dient eine Sprache, deren Typen und Operationen in der Welt der deklarativen, listenbasierten Programmierung verwurzelt sind, während der Compiler der Sprache auf eine Datenbank-getriebene Laufzeitumgebung abzielt. Ein typisches Ferry-Programm verarbeitet geordnete, verschachtelte Listen- und Tupel-Datenstrukturen erheblicher Größe. Ein algebraischer Compiler und Optimierer generiert daraus eine Sequenz von SQL:1999 Anweisungen, welche gemeinsam das Programm auf einem relationalen Datenbanksystem ausführen. Ferry ermöglicht eine tiefe und nahtlose Integration von Abfrage-Funktionalität in Programmiersprachen --- in dieser Hinsicht Microsofts LINQ-Framework ähnlich --- und wurde mit besonderem Augenmerk auf Effizienz und Portabilität des generierten SQL-Kodes entwickelt.

Der Vortrag diskutiert den allgemeinen Ansatz, gibt einen Ausblick auf die Beziehung zwischen Ferry und Anstrengungen zur datenparallelen Verarbeitung von Haskell-Programmen, und demonstriert Laufzeitvorteile, die Ferrys Compilationsstrategie bei der Anwendung auf Microsofts LINQ to SQL sowie Philip Wadlers Sprache Links erzielt.

(Vortrag auf Einladung von Janis Voigtländer)

LaTeX Version Last modified June 21, 2010 11:16:34

  Uni-Bonn - Math-Nat - Informatik - III   -   english page   -   I   II   III   IV   V   VI   -   Suche

Wobmaster - The Wob