Algebras and Update Strategies

9 years 8 months ago
Algebras and Update Strategies
: 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. Key Words: algebra, lens, update strategy Category: F.2, F.3.2, D.3.1
Michael Johnson, Robert D. Rosebrugh, Richard Wood
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where JUCS
Authors Michael Johnson, Robert D. Rosebrugh, Richard Wood
Comments (0)