Delta Lenses and Opfibrations

We compare the delta lenses, also known as d-lenses, of Diskin et al. with the c-lenses, known to be equivalent to opfibrations, already studied by the authors.  Contrary to expectation a c-lens is a d-lens but not conversely. This result is surprising because d-lenses appear to provide the same information as c-lenses, and some more besides, suggesting that the implication would be the reverse -- a d-lens would appear to be a special kind of c-lens. The source of the surprise can be traced to the way the two concepts deal differently with morphisms in a certain base comma category $(G,1_\bV)$.  Both c-lenses and d-lenses are important because they extend the notion of lens to take account of the information available in known transitions between states and this has important implications in practice.

[1]  Benjamin C. Pierce,et al.  Relational lenses: a language for updatable views , 2006, PODS '06.

[2]  Michael Johnson,et al.  Lens put-put laws: monotonic and mixed , 2012 .

[3]  Perdita Stevens Towards an Algebraic Theory of Bidirectional Transformations , 2008, ICGT.

[4]  Michael Johnson,et al.  Lenses, fibrations and universal translations† , 2011, Mathematical Structures in Computer Science.

[5]  Martin Hofmann,et al.  Edit lenses , 2012, POPL '12.

[6]  Zinovy Diskin,et al.  Algebraic Graph-Based Approach to Management of Multidatabase Systems , 1995, NGITS.

[7]  Michael Johnson,et al.  Fibrations and universal view updatability , 2007, Theor. Comput. Sci..

[8]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[9]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[10]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[11]  Michael Johnson,et al.  Entity-relationship-attribute designs and sketches , 2002 .

[12]  Michael Johnson,et al.  View Updatability Based on the Models of a Formal Specification , 2001, FME.

[13]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[14]  Frank Piessens,et al.  Categorical data-specifications , 1995 .

[15]  Michael Johnson,et al.  Algebras and Update Strategies , 2010, J. Univers. Comput. Sci..