Affiliation:
1. University of Edinburgh, UK
2. University of Edinburgh, UK / University of Glasgow, UK
Abstract
Lenses are a popular approach to bidirectional transformations, a generalisation 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
, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose
incremental relational lenses
, that equip relational lenses with change-propagating semantics that map small changes to the view to (potentially) 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.
Funder
Air Force Office of Scientific Research
Engineering and Physical Sciences Research Council
European Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献