Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/124438
27 Visitors
35 Hits
2 Downloads
- Title
- Algebras and update strategies
- Related
- Journal of universal computer science, Vol. 16, No. 5 (2010), p.729-748
- DOI
- 10.3217/jucs-016-05-0729
- Publisher
- Graz University of Technology, Institut für Informationssysteme und Computer Medien (IICM)
- Date
- 2010
- FoR/RFCD Code(s)
-
080000 Information And Computing Sciences
010000 Mathematical Sciences
- Author/Creator
- Johnson, Michael
- Author/Creator
- Rosebrugh, Robert
- Author/Creator
- Wood, Richard
- Description
- 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.
- Description
- 20 page(s)
- Subject Keyword
- 080000 Information And Computing Sciences
- Subject Keyword
- 010000 Mathematical Sciences
- Subject Keyword
- algebra
- Subject Keyword
- lens
- Subject Keyword
- update strategy
- Resource Type
- journal article
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/124438
- Identifier
- ISSN:0948-695X
- Identifier
- mq-rm-2010004078
- Language
- eng
- Rights
- 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.
- Full Text
- Reviewed
-
-
