Algebraic data types for language-integrated queries

Authors:
George Giorgidze;Torsten Grust;Alexander Ulrich;Jeroen Weijers
Affiliations:
University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany;University of Tübingen, Tübingen, Germany
Venue:
DDFP '13 Proceedings of the 2013 workshop on Data driven functional programming
Year:
2013

Citing 13
Cited 0

Compiling collection-oriented languages onto massively parallel computers

Journal of Parallel and Distributed Computing - Massively parallel computation
More types for nested data parallel programming

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions

Theoretical Computer Science
Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Making smalltalk a database system

SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
FERRY: database-supported program execution

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Links: web programming without tiers

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
A generic deriving mechanism for Haskell

Proceedings of the third ACM Haskell symposium on Haskell
Avalanche-safe LINQ compilation

Proceedings of the VLDB Endowment
Bringing back monad comprehensions

Proceedings of the 4th ACM symposium on Haskell
Haskell boards the ferry: database-supported program execution for Haskell

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
A Deep Embedding of Queries into Ruby

ICDE '12 Proceedings of the 2012 IEEE 28th International Conference on Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The seamless integration of relational databases and programming languages remains a major challenge. Mapping rich data types featured in general-purpose programming languages to the relational data model is one aspect of this challenge. We present a novel technique for mapping arbitrary (nonrecursive) algebraic data types to a relational data model, based on previous work on the relational representation of nested tables. Algebraic data types may be freely constructed and deconstructed in queries and may show up in the result type. The number of relational queries generated is small and statically determined by the type of the query. We have implemented the mapping in the Database Supported Haskell (DSH) library.