An algebraic approach to bi-directional updating

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 2-20

  Mu, Shin Cheng ^a   Hu, Zhenjiang ^a   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; WEB BROWSERS;

ALGEBRAIC APPROACHES; ALGEBRAIC REASONING; BI-DIRECTIONAL; FORMAL MODEL; FUNCTIONAL PROGRAMS; PROGRAMMER DESIGN; STRUCTURED DATA; STRUCTURED DOCUMENT;

ALGEBRA;

EID: 33750397680     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_2     Document Type: Article

References (16)

1. S. Abiteboul. On views and XML. In Proceedings of the 18th ACM SIGPLAN-SIGACT-SIGART Symposium on Principles of Database Systems, pages 1-9. ACM Press, 1999.
2. S.M. Abramov and R. Glück. The universal resolving algorithm and its correctness: inverse computation in a functional language. Science of Computer Programming, 43:193-299, May-June 2002.
3. Altova Co. Xmlspy. http://www.xmlspy.com/products_ide.html.
4. J. Backus. Can programming be liberated from the von Neumann style? a functional style and its algebra of programs. Communications of the ACM, 21(8):613-641, August 1978.
5. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557-575, December 1981.
6. R.S. Bird and O. de Moor. Algebra of Programming. International Series in Computer Science. Prentice Hall, 1997.
7. U. Dayal and P.A. Bernstein. On the correct translation of update operations on relational views. ACM Transactions on Database Systems, 7(3):381-416, September 1982.
8. R. Glück and M. Kawabe. A program inverter for a functional language with equality and constructors. In A. Ohori, editor, Programming Languages and Systems. Proceedings, number 2895 in Lecture Notes in Computer Science, pages 246-264. Springer-Verlag, 2003.
9. R. Glück and M. Kawabe. Derivation of deterministic inverse programs based on LR parsing (extended abstract). In Y. Kameyama and P.J. Stuckey, editors, Proceedings of Functional and Logic Programming, number 2998 in Lecture Notes in Computer Science, pages 291-306, Nara, Japan, 2004. Springer-Verlag.
10. G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems, 13(4):486-524, December 1988.
11. M.B. Greenwald, J.T. Moore, B.C. Pierce, and A. Schmitt. A language for bi-directional tree transformations. Technical Report, MS-CIS-03-08, University of Pennsylvania, August 2003.
12. L. Meertens. Designing constraint maintainers for user interaction. ftp://ftp.kestrel.edu/ pub/papers/meertens/dcm.ps, 1998.
13. S.-C. Mu, Z. Hu, and M. Takeichi. An injective language for reversible computation. In Seventh International Conference on Mathematics of Program Construction. Springer-Verlag, July 2004.
14. A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In Proceedings of the I3th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 255-266. ACM Press, 1994.
15. M. Takeichi, Z. Hu, K. Kakehi, Y. Hayashi, S.-C. Mu, and K. Nakano. TreeCalc:towards programmable structured documents. In The 20th Conference of Japan Society for Software Science and Technology, September 2003.
16. M. Wallace and C. Runciman. Haskell and XML: generic combinators or type-based translation? . In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 148-159. ACM Press, September 1999.