Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 5

available in:   PDF (213 kB) PS (214 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-05-0729


Algebras and Update Strategies

Michael Johnson (Macquarie University Sydney, Australia)

Robert Rosebrugh (Mount Allison University, Canada)

Richard Wood (Dalhousie University, Canada)

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

Categories: E.1, H.1, H.2