论文信息 - Lenses and View Update Translation

Lenses and View Update Translation

We draw precise connections between lenses and some “classical” structures studied in the context of the view update translation problem: the notion of view update under a constant complement of Bancilhon and Spyratos and the dynamic views of Gottlob, Paolini, and Zicari.

Benjamin Pierce | Sc Alan

[1] Shôichirô Sakai. On type *-algebras , 1967 .

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

[3] Georg Gottlob,et al. Properties and update semantics of consistent views , 1988, TODS.

[4] Martin Hofmann,et al. Positive Subtyping , 1996, Inf. Comput..

[5] B. Pierce,et al. A Language for Bi-Directional Tree Transformations , 2004 .