Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Tue 25 Sep 2018 15:22 - 15:45 at Stifel Theatre - Bidirectional Programming Chair(s): Wouter Swierstra

Lenses are a popular approach to bidirectional transformations, a generalization of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses over 10 years ago, which offered a number of advantages over existing approaches to view update, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, which improve on prior work by equipping relational lenses with change-propagating semantics that map small changes to the view to small changes to the source tables. We also present a language-integrated implementation of relational lenses and a detailed experimental evaluation, showing orders of magnitude improvement over the non-incremental approach. Our work shows that relational lenses can be used to support expressive and efficient view updates at the language level, without relying on updatable view support from the underlying database.

Tue 25 Sep
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

icfp-2018-papers
15:00 - 16:30: Research Papers - Bidirectional Programming at Stifel Theatre
Chair(s): Wouter SwierstraUtrecht University, Netherlands
icfp-2018-papers15:00 - 15:22
Talk
Guillaume BoisseauUniversity of Oxford, Jeremy GibbonsDepartment of Computer Science, University of Oxford
DOI
icfp-2018-papers15:22 - 15:45
Talk
Rudi HornUniversity of Edinburgh, Roly PereraUniversity of Glasgow, James CheneyUniversity of Edinburgh, UK
DOI
icfp-2018-papers15:45 - 16:07
Talk
Solomon MainaUniversity of Pennsylvania, Anders MiltnerPrinceton University, Kathleen FisherTufts University, USA, Benjamin C. PierceUniversity of Pennsylvania, Dave WalkerPrinceton University, Steve ZdancewicUniversity of Pennsylvania
DOI
icfp-2018-papers16:07 - 16:30
Talk
Csongor KissImperial College London, Matthew PickeringUniversity of Bristol, Nicolas WuUniversity of Bristol, UK
DOI