Combinators for bi-directional tree transformations a linguistic approach to the view update problem

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2005, Pages 233-246

  Foster, J Nathan ^a   Greenwald, Michael B ^a   Moore, Jonathan T ^a   Pierce, Benjamin C ^a   Schmitt, Alan ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Bi directional programming; Harmony; Lenses; View update problem; XML

Indexed keywords

BI-DIRECTIONAL PROGRAMMING; HARMONY; VIEW UPDATE PROBLEM;

DATA PROCESSING; DATA STRUCTURES; LENSES; LINGUISTICS; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; TREES (MATHEMATICS); XML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 29144437911     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. S. Abiteboul, S. Cluet, and T. Milo. Correspondence and translation for heterogeneous data. In Proceedings of 6th Int. Conf. on Database Theory (ICDT), 1997.
2. S. Abiteboul, S. Cluet, and T. Milo. A logical view of structure files. VLDB Journal, 7(2):96-114, 1998.
3. S. M. Abramov and R. Glück. The universal resolving algorithm: Inverse computation in a functional language. In R. Backhouse and J. N. Oliveira, editors, Mathematics of Program Construction, volume 1837, pages 187-212. Springer-Verlag, 2000.
4. S. M. Abramov and R. Glück. Principles of inverse computation and the universal resolving algorithm. In T. Mogensen, D. Schmidt, and I. H. Sudborough, editors, The Essence of Computation: Complexity, Analysis, Transformation, volume 2566 of Lecture Notes in Computer Science, pages 269-295. Springer-Verlag, 2002.
5. P. Atzeni and R. Torlone. Management of multiple models in an extensible database design tool. In Proceedings of EDBT'96, LNCS 1057, 1996.
6. F. Bancilhon and N. Spyratos. Update semantics of relational views. TODS, 6(4):557-575, 1981.
7. T. Barsalou, N. Siambela, A. M. Keller, and G. Wiederhold. Updating relational databases through object-based views. In PODS'91, pages 248-257, 1991.
8. V. Braganholo, S. Davidson, and C. Heuser. On the updatability of XML views over relational databases. In WebDB 2005, 2003.
9. P. Buneman, S. Khanna, and W.-C. Tan. On propagation of deletions and annotations through views. In PODS'02, pages 150-158, 2002.
10. S. S. Cosmadakis and C. H. Papadimitriou. Updates of relational views. Journal of the ACM, 31(4):742-760, 1984.
11. U. Dayal and P. A. Bernstein. On the correct translation of update operations on relational views. TODS, 7(3):381-416, September 1982.
12. 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. Technical Report MS-CIS-04-15, University of Pennsylvania, Aug. 2004.
13. An earlier version appeared in the Workshop on Programming Language Technologies for XML (PLAN-X), 2004, under the title "A Language for Bi-Directional Tree Transformations".
14. G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems (TODS), 13(4):486-524, 1988.
15. M. Hofmann and B. Pierce. Positive subtyping. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, California, pages 186-197, Jan. 1995.
16. Full version in Information and Computation, volume 126, number 1, April 1996.
17. Also available as University of Edinburgh technical report ECS-LFCS-94-303, September 1994.
18. Z. Hu, S.-C. Mu, and M. Takeichi. A programmable editor for developing structured documents based on bi-directional transformations. In Partial Evaluation and Program Manipulation (PEPM), 2004.
19. A. M. Keller. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In PODS'85, 1985.
20. J. Lechtenbörger. The impact of the constant complement approach towards view updating. In Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 49-55. ACM, June 9-12 2003. San Diego, CA.
21. Y. Masunaga. A relational database view update translation mechanism. In VLDB'84, 1984.
22. S. Matsuoka, S. Takahashi, T. Kamada, and A. Yonezawa. A general framework for bi-directional translation between abstract and pictorial data. ACM Transactions on Information Systems, 10(4):408-437, October 1992.
23. C. M. B. Medeiros and F. W. Tompa. Understanding the implications of view update policies. In VLDB'85, 1985.
24. L. Meertens. Designing constraint maintainers for user interaction, 1998. Manuscript.
25. S.-C. Mu, Z. Hu, and M. Takeichi. An algebraic approach to bi-directional updating. In ASIAN Symposium on Programming Languages and Systems (APLAS), Nov. 2004.
26. A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In PODS'94, 1994.
27. F. J. Oles. Type algebras, functor categories, and block structure. In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics. Cambrige University Press, 1985.
28. B. C. Pierce and A. Schmitt. Lenses and view update translation. Manuscript, 2003.
29. B. C. Pierce, A. Schmitt, and M. B. Greenwald. Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data. Technical Report MS-CIS-03-42, University of Pennsylvania, 2003.
30. M. H. Scholl, C. Laasch, and M. Tresch. Updatable Views in Object-Oriented Databases. In C. Delobel, M. Kifer, and Y. Yasunga, editors, Proc. 2nd Intl. Conf. on Deductive and Object-Oriented Databases (DOOD), number 566. Springer, 1991.
31. I. Tatarinov, Z. G. Ives, A. Y. Halevy, and D. S. Weld. Updating XML. In SIGMOD Conference, 2001.
32. P. Wadler. Views: A way for pattern matching to cohabit with data abstraction. In ACM Symposium on Principles of Programming Languages (POPL), Munich, Germany. 1987.