@inproceedings{747d6fd9566c43a9bb732af16d645f2e,
title = "Persistent Functional Languages: Toward Functional Relational Databases",
abstract = "Functional languages provide new approaches to concurrency control, based on techniques such as lazy evaluation and memoization. We have designed and implemented a persistent functional language based on these ideas, which we plan to use for the implementation of a relational database system. With such a database system, we aim to show that lazy evaluation can be used to perform online schema transformations. Additionally, our persistent language allows database programs to be written as stored transactions, a mechanism similar to stored procedures. At a later stage, we want to leverage existing verification tools for the automatic verification of postconditions over these functional transactions.",
keywords = "EWI-25768, CR-H.2.3, CR-H.2.4, CR-D.3.2, METIS-309916, Memoization, Lazy Evaluation, Online Schema Transformation, IR-94672, Concurrency Control",
author = "L. Wevers",
note = "eemcs-eprint-25768 ; null ; Conference date: 22-06-2014 Through 22-06-2014",
year = "2014",
month = jun,
day = "22",
doi = "10.1145/2602622.2602627",
language = "Undefined",
isbn = "978-1-4503-2924-8",
publisher = "Association for Computing Machinery (ACM)",
pages = "21--25",
booktitle = "Proceedings of the 2014 SIGMOD PhD Symposium",
address = "United States",
}