Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

ACM Transactions on Programming Languages and Systems

Volumn 29, Issue 3, 2007, Pages

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LUCENT TECHNOLOGIES   (United States)

^c INRIA RHÔNE ALPES   (France)

Author keywords

Bidirectional programming; Harmony; Lenses; View update problem; XML

Indexed keywords

ARBITRARY STRUCTURES; BIDIRECTIONAL PROGRAMMING; TREE TRANSFORMATIONS; WELL-TYPED LENSES;

COMPUTER PROGRAMMING LANGUAGES; DATA ACQUISITION; FUNCTIONAL PROGRAMMING; LINGUISTICS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS); TREES (MATHEMATICS); XML;

MATHEMATICAL TRANSFORMATIONS;

EID: 34249865033     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1232420.1232424     Document Type: Conference Paper

References (59)

1. ABITEBOUL, S., CLUET, S., AND MILO, T. 1997. Correspondence and translation for heterogeneous data. In International Conference on Database Theory (ICDT). Delphi, Greece.
2. ABITEBOUL, S., CLUET, S., AND MILO, T. 1998. A logical view of structure files. VLDB J. 7, 2, 96-114.
3. ABITEBOUL, S., MCHUGH, J., RYS, M., VASSALOS, V., AND WIENER, J. L. 1998. Incremental maintenance for materialized views over semistructured data. In Proceedings of the 24th International Conference on Very Large Data Bases (VLDB).
4. ABRAMOV, S. M. AND GLÜCK, R. 2000. The universal resolving algorithm: Inverse computation in a functional language. In Mathematics of Program Construction, R. Backhouse and J. N. Oliveira, Eds. Vol. 1837. Springer-Verlag, 187-212.
5. ABRAMOV, S. M. AND GLÜCK, R. 2002. Principles of inverse computation and the universal resolving algorithm. In The Essence of Computation: Complexity, Analysis, Transformation, T. Mogensen, D. Schmidt, and I. H. Sudborough, Eds. Lecture Notes in Computer Science, vol. 2566. Springer-Verlag, 269-295.
6. ATZENI, P. AND TORLONE, R. 1996. Management of multiple models in an extensible database design tool. In Proceedings of the International Conference on Extending Database Technology (EDBT'96). Lecture Notes in Computer Science, vol. 1057.
7. ATZENI, P. AND TORLONE, R. 1997. MDM: A multiple-data model tool for the management of heterogeneous database schemes. In Proceedings of ACM SIGMOD, (Exhibition Section). 528-531.
8. BAKER, H. G. 1992. NREVERSAL of fortune - the thermodynamics of garbage collection. In Proceedings of the International Workshop on Memory Management, St. Malo, France. Lecture Notes in Computer Science, vol. 637, Springer.
9. BANCILHON, F. AND SPYRATOS, N. 1981. Update semantics of relational views. ACM Trans. Datab. Syst. 6, 4 (Dec.), 557-575.
10. BARSALOU, T., SIAMBELA, N., KELLER, A. M., AND WIEDERHOLD, G. 1991. Updating relational databases through object-based views. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Denver, CO, 248-257.
11. BENNET, C. H. 1973. Logical reversibility of computation. IBM J. Resear. Devel. 17, 6, 525-532.
12. BOHANNON, A., VAUGHAN, J. A., AND PIERCE, B. C. 2006. Relational lenses: A language for updateable views. In Principles of Database Systems (PODS). Extended version Tech. rep. MS-CIS-05-27, University of Pennsylvania.
13. BRAGANHOLO, V., DAVIDSON, S., AND HEUSER, C. 2003. On the updatability of XML views over relational databases. In International Workshop on the Web and Databases (WebDB'03).
14. BUNEMAN, P., KHANNA, S., AND TAN, W.-C. 2002. On propagation of deletions and annotations through views. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Medison, WI, 150-158.
15. COSMADAKIS, S. S. 1983. Translating updates of relational data base views. M.S. thesis, MIT-LCS-TR-284. Massachusetts Institute of Technology.
16. COSMADAKIS, S. S. AND PAPADIMITRIOU, C. H. 1984. Updates of relational views. J. ACM 31, 4, 742-760.
17. DATE, C. J. 2003. An Introduction to Database Systems, 8th Ed. Addison Wesley.
18. DAYAL, U. AND BERNSTEIN, P. A. 1982. On the correct translation of update operations on relational views. ACM Trans. Datab. Syst. 7, 3 (Sept.), 381-416.
19. DE PAULA BRAGANHOLO, V., HEUSER, C. A., AND VITTORI, C. R. M. 2001. Updating relational databases through XML views. In Proceedings of the 3rd International Conference on Information Integration and Web-based Applications and Services (IIWAS).
20. DLJKSTRA, E. W. 1979. Program inversion. In Program Construction, International Summer School, July-August 1978. Marktoberdorf, Germany. F. L. Bauer and M. Broy, Eds. Lecture Notes in Computer Science, vol. 69. Springer.
21. FOGEL, S. AND LANE, P. 2005. Oracle Database Administrator's Guide. Oracle.
22. FOSTER, J. N., GREENWALD, M. B., KIRKEGAARD, C., PIERCE, B. C., AND SCHMITT, A. 2006. Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73, 4, 669-689.
23. FOSTER, J. N., PIERCE, B. C., AND SCHMITT, A. 2006. Harmony Programmer's Manual. Available at http://www.seas.upenn.edu/~harmony/.
24. GOTTLOB, G., PAOLINI, P., AND ZICARI, R. 1988. Properties and update semantics of consistent views. ACM Trans. Datab. Syst. 13, 4, 486-524.
25. HEGNER, S. J. 1990. Foundations of canonical update support for closed database views. In International Conference on Database Theory (ICDT). Paris, France. Springer-Verlag, Berlin, Germany, 422-436.
26. HEGNER, S. J. 2004. An order-based theory of updates for closed database views. Ann. Mathemat. 40, 63-125.
27. HOFMANN, M. AND PIERCE, B. 1995. Positive subtyping. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). San Francisco, CA. 186-197.
28. Full version in Inform. Computat. 126, 1 (April) 1996.
29. HU, Z., MU, S.-C., AND TAKEICHI, M. 2004. A programmable editor for developing structured documents based on bi-directional transformations. In Partial Evaluation and Program Manipulation (PEPM).
30. INTERNATIONAL BUSINESS MACHINES CORPORATION. 2004. IBM DB2 Universal Database Administration Guide: Implementation.
31. JOHNSON, M., ROSEBRUGH, R., AND DAMPNEY, C. N. G. 2001. View updates in a semantic data modelling paradigm. In Proceedings of the 12th Australasian Conference on Database Technologies (ADC'01). IEEE Computer Society, 29-36.
32. KELLER, A. M. 1985. Algorithms for translating view updates to database updates for views involving selections, projections, and joins. In ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. Portland, OR.
33. KELLER, A. M. 1986. Choosing a view update translator by dialog at view definition time. In Proceedings of the International Conference on Very Large Database (VLDB'86).
34. LANDAUER, R. 1961. Irreversibility and heat generation in the computing process. IBM J. Resear. Devel. 5, 3, 183-191.
35. (Republished in IBM J. Resear. and Devel. 44, (1/2, 261-269 (Jan/Mar). 2000).
36. LECHTENBÖRGER, J. 2003. The impact of the constant complement approach towards view updating. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. San Diego, CA. ACM 49-55.
37. LORENTZ, D. 2005. Oracle Database SQL Reference. Oracle.
38. MASUNAGA, Y. 1984. A relational database view update translation mechanism. In Proceedings of the International Conference on Very Large Databases (VLDB'84).
39. MATSUOKA, S., TAKAHASHI, S., KAMADA, T., AND YONEZAWA, A. 1992. A general framework for bidirectional translation between abstract and pictorial data. ACM Trans. Inform. Syst. 10, 4 (Oct.), 408-437.
40. MCCARTHY, J. 1956. The inversion of functions defined by turing machines. In Automata Studies, Annals of Mathematical Studies, C. E. Shannon and J. McCarthy, Eds. Number 34. Princeton University Press, 177-181.
41. MEDEIROS, C. M. B. AND TOMPA, F. W. 1985. Understanding the implications of view update policies. In Proceedings of the International Conference on Very Large Databases (VLDB'85).
42. MEERTENS, L. 1998. Designing constraint maintainers for user interaction. Manuscript. Available at ftp://ftp.kestrel.edu/pub/papers/meertens/ dcm.ps.
43. MICROSOFT 2005. Creating and Maintaining Databases. Microsoft.
44. MILLER, R. J., HERNANDEZ, M. A., HAAS, L. M., YAN, L., HO, C. T. H., FAGIN, R., AND POPA, L. 2001. The clio project: Managing heterogeneity. SIGMOD Rec. 30, 1 (March), 78-83.
45. MU, S.-C., HU, Z., AND TAKEICHI, M. 2004a. An algebraic approach to bi-directional updating. In ASIAN Symposium, on Programming Languages and Systems (APLAS).
46. MU, S.-C., HU, Z., AND TAKEICHI, M. 2004b. An injective language for reversible computation. In 17th International Conference on Mathematics of Program Construction (MPC).
47. NIEHREN, J. AND PODELSKI, A. 1993. Feature automata and recognizable sets of feature trees. In Theory and Practice of Software (TAPSOFT). 356-375.
48. OHORI, A. AND TAJIMA, K. 1994. A polymorphic calculus for views and object sharing. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Minneapolis, MN.
49. OLES, F. J. 1985. Type algebras, functor categories, and block structure. In Algebraic Methods in Semantics, M. Nivat and J. C. Reynolds, Eds. Cambrige University Press.
50. PIERCE, B. C. BOHANNON, A., FOSTER, J. N., GREENWALD, M. B., KHANNA, S., KUNAL, K., AND SCHMIDT, A. 2006. Harmony: A synchronization framework for heterogeneous tree-structured data. Available at http://www.seas.upenn.edu/ ~harmony/.
51. PIERCE, B. C., SCHMITT, A., AND GREENWALD, M. B. 2003. Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data. Tech. rep. MS-CIS-03-42, University of Pennsylvania (Superseded by MS-CIS-05-02).
52. PIERCE, B. C. AND VOUILLON, J. 2004. What's in Unison? A formal specification and reference implementation of a file synchronizer. Tech. rep. MS-CIS-03-36, Department of Computer and Information Science, University of Pennsylvania.
53. ROWE, L. AND SCHOENS, K. A. 1979. Data abstractions, views, and updates in RIGEL. In ACM SIGMOD Symposium on Management of Data (SIGMOD). Boston, MA.
54. SCHOLL, M. H., LAASCH, C., AND TRESCH, M. 1991. Updatable views in object-oriented databases. In Proceedings of the 2nd International Conference on Deductive and Object-Oriented Databases (DOOD), C. Delobel, M. Kifer, and Y. Yasunga, Eds. vol. 566. Springer.
55. SPOONHOWER, D. 2004. View updates seen through the lens of synchronization. Manuscript. Available at www.cs.cmu.edu/~spoons/courses/15-721/ project/report.ps.
56. TATARINOV, I., IVES, Z. G., HALEVY, A. Y., AND WELD, D. S. 2001. Updating XML. In ACM SIGMOD Symposium on Management of Data (SIGMOD). Santa Barbara, CA.
57. WADLER, P. 1987. Views: A way for pattern matching to cohabit with data abstraction. In ACM Symposium on Principles of Programming Languages (POPL). Munich, Germany.
58. WINSKEL, G. 1993. The Formal Semantics of Programming Languages: An Introduction. MIT Press.
59. XQuery 2005. XQuery 1.0: An XML Query Language, W3C Working Draft. Available at http://www.w3.org/TR/xquery/.