JUCS - Journal of Universal Computer Science 16(5): 729-748, doi: 10.3217/jucs-016-05-0729
Algebras and Update Strategies
expand article infoMichael Johnson‡, Robert Rosebrugh§, Richard Wood|
‡ Macquarie University Sydney, Sydney, Australia§ Mount Allison University, Sackville, Canada| Dalhousie University, Halifax, Canada

Corresponding author: Michael Johnson ( mike@ics.mq.edu.oz )

© Michael Johnson, Robert Rosebrugh, Richard Wood.
This article is freely available under the J.UCS Open Content License.
Citation: Johnson M, Rosebrugh R, Wood R (2010) Algebras and Update Strategies. JUCS - Journal of Universal Computer Science 16(5): 729-748. https://doi.org/10.3217/jucs-016-05-0729
Open Access
Abstract
The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of "lens" which is an algebra for a monad. We generalize lenses from the category of sets to consider them in categories with finite products, in particular the category of ordered sets.
Keywords
algebra, lens, update strategy