Projects per year
Abstract
Relational lenses are a modern approach to the view update problem in relational databases. As introduced by Bohannon et al. [5], relational lenses allow the definition of updatable views by the composition of lenses performing individual transformations. Hornet al. [20] provided the first implementation of incremental relational lenses, which demonstrated that relational lenses can be implemented efficiently by propagating changes to the database rather than replacing the entire database state.
However, neither approach proposes a concrete language design; consequently, it is unclear how to integrate lenses into a general-purpose programming language, or how to check that lenses satisfy the well-formedness conditions needed for predictable behaviour. In this paper, we propose the first full account of relational lenses in a functional programming language, by extending the Links web programming language. We provide support for higher-order predicates, and provide the first account of typechecking relational lenses which is amenable to implementation. We prove the soundness of our typing rules, and illustrate our approach by implementing a curation interface for a scientific database application.
However, neither approach proposes a concrete language design; consequently, it is unclear how to integrate lenses into a general-purpose programming language, or how to check that lenses satisfy the well-formedness conditions needed for predictable behaviour. In this paper, we propose the first full account of relational lenses in a functional programming language, by extending the Links web programming language. We provide support for higher-order predicates, and provide the first account of typechecking relational lenses which is amenable to implementation. We prove the soundness of our typing rules, and illustrate our approach by implementing a curation interface for a scientific database application.
Original language | English |
---|---|
Title of host publication | Proceedings of the 31st Symposium on Implementation and Application of Functional Languages (IFL '19) |
Publisher | ACM |
Pages | 1-12 |
Number of pages | 12 |
ISBN (Electronic) | 978-1-4503-7562-7 |
DOIs | |
Publication status | Published - 25 Sept 2021 |
Event | 31st Symposium on Implementation and Application of Functional Languages - National University of Singapore, Singapore Duration: 25 Sept 2019 → 27 Sept 2019 Conference number: 31 http://2019.iflconference.org/ |
Symposium
Symposium | 31st Symposium on Implementation and Application of Functional Languages |
---|---|
Abbreviated title | IFL 2019 |
Country/Territory | Singapore |
Period | 25/09/19 → 27/09/19 |
Internet address |
Fingerprint
Dive into the research topics of 'Language-Integrated Updatable Views'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research