Bidirectionalization transformation based on automatic derivation of view complement functions

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2007, Pages 47-58

  Matsuda, Kazutaka ^a   Hu, Zhenjiang ^a   Nakano, Keisuke ^a   Hamana, Makoto ^b   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

^b GUNMA UNIVERSITY   (Japan)

Author keywords

Automatic program generation; Bidirectional transformation; Program inversion; Program transformation; View updating

Indexed keywords

AUTOMATIC PROGRAM GENERATION; BIDIRECTIONAL TRANSFORMATION; PROGRAM INVERSION; PROGRAM TRANSFORMATION; VIEW UPDATING;

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DATABASE SYSTEMS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

MATHEMATICAL TRANSFORMATIONS;

EID: 38849200995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291162     Document Type: Conference Paper

References (19)

1. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM T. Database Syst., 6(4):557-575, 1981.
2. V. P. Braganholo, S. B. Davidson, and C. A. Heuser. From XML view updates to relational view updates: old solutions to a new problem. In VLDB '04: International Conference on Very Large Data Bases, pages 276-287, 2004.
3. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. http://www.grappa. univ-lille3.fr/tata, 1997.
4. S. S. Cosmadakis and C. H. Papadimitriou. Updates of relational views. J. ACM, 31(4):742-760, 1984.
5. U. Dayal and P. A. Bernstein. On the correct translation of update operations on relational views. ACM T. Database Syst., 7(3):381-416, 1982.
6. J. Engelfriet. Bottom-up and Top-down Tree Transformations - A Comparison. Math. Syst. Theory, 9(3):198-231, 1975.
7. J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In POPL '05: Proceedings of the 32nd. ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 233-246, 2005.
8. G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM T. Database Syst., 13(4):486-524, 1988.
9. S. J. Hegner. Foundations of canonical update support for closed database views. In ICDT'90: Proceedings of the Third International Conference on Database Theory, pages 422-436, 1990.
10. Z. Hu, S.-C. Mu, and M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. In PEPM "04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 178-189, 2004.
11. R. Lämmel. Coupled software transformations (extended abstract). In First International Workshop on Software Evolution Transformations, pages 3.1-35, 2004.
12. D. Laurent, J. Lechtenbörger, N. Spyratos, and G. Vossen. Monotonic complements for independent data warehouses. VLDB J., 10(4):295-315, 2001.
13. J. Lechtenbörger and G. Vossen. On the computation of relational view complements. ACM T. Database Syst., 28(2): 175-208, 2003.
14. K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi. Bidirectionalization transformation based on automatic derivation of view complement function. Technical Report 2007-44, Graduate School of Information Science and Technology, the University of Tokyo, 2007.
15. L. Meertens. Designing constraint maintainers for user interaction. http://www.cwi.nl/~lambert, 1998.
16. S.-C. Mu, Z. Hu, and M. Takeichi. An algebraic approach to bidirectional updating. In APLAS '04: Second ASIAN Symposium on Programming Languages and Systems, pages 2-18, 2004.
17. P. Wadler. Views: a way for pattern matching to cohabit with data abstraction. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 307-313, 1987.
18. P. Wadler. Deforestation: Transforming programs to eliminate trees. Theor. Comput. Sci., 73(2):231-248, 1990.
19. L. Wang and E. A. Rundensteiner. On the updatability of XML views published over relational data. In ER 2004: International Conference on Conceptual Modeling, pages 795-809, 2004.