<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-016-05-0729</article-id>
      <article-id pub-id-type="publisher-id">29630</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>E.1 - DATA STRUCTURES</subject>
          <subject>H.1 - MODELS AND PRINCIPLES</subject>
          <subject>H.2 - DATABASE MANAGEMENT</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Algebras and Update Strategies</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Johnson</surname>
            <given-names>Michael</given-names>
          </name>
          <email xlink:type="simple">mike@ics.mq.edu.oz</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Rosebrugh</surname>
            <given-names>Robert</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Wood</surname>
            <given-names>Richard</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Macquarie University Sydney, Sydney, Australia</addr-line>
        <institution>Macquarie University Sydney</institution>
        <addr-line content-type="city">Sydney</addr-line>
        <country>Australia</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Mount Allison University, Sackville, Canada</addr-line>
        <institution>Mount Allison University</institution>
        <addr-line content-type="city">Sackville</addr-line>
        <country>Canada</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Dalhousie University, Halifax, Canada</addr-line>
        <institution>Dalhousie University</institution>
        <addr-line content-type="city">Halifax</addr-line>
        <country>Canada</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Michael Johnson (<email xlink:type="simple">mike@ics.mq.edu.oz</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2010</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>03</month>
        <year>2010</year>
      </pub-date>
      <volume>16</volume>
      <issue>5</issue>
      <fpage>729</fpage>
      <lpage>748</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/3F18CF14-7833-5DCA-8ABC-D4E921273F02">3F18CF14-7833-5DCA-8ABC-D4E921273F02</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001137">7001137</uri>
      <permissions>
        <copyright-statement>Michael Johnson, Robert Rosebrugh, Richard Wood</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>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.</p>
      </abstract>
    </article-meta>
  </front>
</article>
