首页    期刊浏览 2024年12月02日 星期一
登录注册

文章基本信息

  • 标题:Algebras and Update Strategies
  • 本地全文:下载
  • 作者:Michael Johnson (Macquarie University Sydney ; Australia) Robert Rosebrugh (Mount Allison University ; Canada) Richard Wood (Dalhousie University, Canada)
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:2010
  • 卷号:16
  • 期号:5
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:

    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.

  • 关键词:algebra, lens, update strategy
国家哲学社会科学文献中心版权所有