Tue 27 Oct 2015 14:37 - 15:00 at Ellwood 1 - Session 3 Chair(s): Ryan Wisnesky

A seminal observation made by Wadler and Trinder and subsequently by Buneman and Wong in the early 1990s was that bulk types are monads, and therefore support a notation for database queries based on comprehensions. This observation formed the basis of Wong’s Kleisli language, and later Wadler’s Links language. The monadic structure explains most of standard relational algebra, allowing for an elegant mathematical foundation for those aspects of database query language design. Unfortunately, monads per se offer no explanation of cartesian product, and hence provide no foundations for the crucial aspect of relational joins. But the monadic structure of bulk types (like any monad) arises from one specific adjunction; in this extended abstract, we show that by paying due attention to other important adjunctions we can elegantly explain the rest of standard relational algebra, in a way that leads directly to an efficient implementation.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3DBPL at Ellwood 1
Chair(s): Ryan Wisnesky
13:30
22m
Talk
Requesting heterogeneous data sources with array comprehensions in Hop.js
DBPL
13:52
22m
Talk
A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
DBPL
Stefanie Scherzinger , Uta Störl HS Darmstadt, Meike Klettke Universität Rostock
14:15
22m
Talk
Function Inlining in XQuery 3.0 Optimization
DBPL
Leonard Wörteler University of Konstanz, Michael Grossniklaus University of Konstanz, Christian Grün University of Konstanz, Marc H. Scholl University of Konstanz
14:37
22m
Talk
Relational Algebra by way of Adjunctions
DBPL
Jeremy Gibbons University of Oxford, UK, Fritz Henglein DIKU, Denmark, Ralf Hinze University of Oxford, UK, Nicolas Wu University of Bristol, UK