Mar 13, 2012: Lesley Wevers: Implementing a Concurrent Persistent Functional Language

March 13, 2012Implementing a Concurrent Persistent Functional Language
Room: Zi 5126Lesley Wevers
12:30-13:30

In this presentation we describe a model for a persistent functional language supporting transactions, which can be used as a basis for implementing, querying and manipulating databases. We show how this model can be implemented to allow processing of transactions with higher levels of concurrency than many existing database management systems, while guaranteeing atomicity, consistency, isolation and durability of transactions. We will conclude the presentation with a short demonstration of a prototype implementation.