Author:
JOHNSON MICHAEL,ROSEBRUGH ROBERT,WOOD R. J.
Abstract
This paper extends the ‘lens’ concept for view updating in Computer Science beyond the categories of sets and ordered sets. It is first shown that a constant complement view updating strategy also corresponds to a lens for a categorical database model. A variation on the lens concept called a c-lens is introduced, and shown to correspond to the categorical notion of Grothendieck opfibration. This variant guarantees a universal solution to the view update problem for functorial update processes.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference20 articles.
1. Combinators for bi-directional tree transformations: A linguistic approach to the view update problem;Foster;ACM Transactions on Programming Languages and Systems,2007
2. Diskin Z. and Cadish B. (1995) Algebraic graph-based approach to management of multidatabase systems. In: Motro A. and Tennenholtz M. (eds.) Proceedings of The Second International Workshop on Next Generation Information Technologies and Systems (NGITS '95).
3. Update semantics of relational views
4. Toposes, Triples and Theories
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Knowledge engineering for wind energy;Wind Energy Science;2024-04-12
2. The Algebraic Weak Factorisation System for Delta Lenses;Electronic Proceedings in Theoretical Computer Science;2023-12-14
3. Monoidal Structures on Generalized Polynomial Categories;Electronic Proceedings in Theoretical Computer Science;2023-12-14
4. Dependent Optics;Electronic Proceedings in Theoretical Computer Science;2023-08-07
5. Limits and Colimits in a Category of Lenses;Electronic Proceedings in Theoretical Computer Science;2022-11-03