Algebras and update strategies

Michael Johnson*, Robert Rosebrugh, Richard Wood

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

19 Citations (Scopus)
17 Downloads (Pure)

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.

Original languageEnglish
Pages (from-to)729-748
Number of pages20
JournalJournal of Universal Computer Science
Volume16
Issue number5
Publication statusPublished - 2010

Bibliographical note

The following article appeared in Journal of universal computer science, 16(5), 729-748, and can be found at http://dx.doi.org/10.3217/jucs-016-05-0729. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Fingerprint

Dive into the research topics of 'Algebras and update strategies'. Together they form a unique fingerprint.

Cite this