Algebras and update strategies

Michael Johnson; Robert Rosebrugh; Richard Wood

Algebras and update strategies

Michael Johnson^*, Robert Rosebrugh, Richard Wood

^*Corresponding author for this work

School of Computing

Research output: Contribution to journal › Article › peer-review

22 Citations (Scopus)

24 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 language	English
Pages (from-to)	729-748
Number of pages	20
Journal	Journal of Universal Computer Science
Volume	16
Issue number	5
Publication status	Published - 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.

Access to Document

Publisher version (open access).pdfFinal published version, 213 KB

Cite this

@article{7079019b316c4c6dbc257f8c4f215546,

title = "Algebras and update strategies",

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.",

author = "Michael Johnson and Robert Rosebrugh and Richard Wood",

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.",

year = "2010",

language = "English",

volume = "16",

pages = "729--748",

journal = "Journal of Universal Computer Science",

issn = "0958-695X",

publisher = "Technische Universitat Graz from Austria",

number = "5",

}

TY - JOUR

T1 - Algebras and update strategies

AU - Johnson, Michael

AU - Rosebrugh, Robert

AU - Wood, Richard

N1 - 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.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77952373060&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:77952373060

VL - 16

SP - 729

EP - 748

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

SN - 0958-695X

IS - 5

ER -

Algebras and update strategies

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this