Online ISSN:1349-8606
Progress in Informatics  
No.10 March 2013  
Page 89-129  
 
An expressive bidirectional transformation language for XQuery view update
Dongxi LIU, Zhenjiang HU and Masato TAKEICHI

LINK [1] S. Boag, D. Chamberlin, M. F. Fernandez, D. Florescu, J. Robie, and J. Simeon, “XQuery 1.0: An XML Query Language,” 2005: http://www.w3.org/TR/xquery/

LINK [2] F. Bancilhon and N. Spyratos, “Updating semantics of relational views,” ACM Trans. Database Syst., vol.6, no.4, pp.557-575, 1981.

LINK [3] U. Dayal and P. A. Bernstein, “On the correct translation of update operations on relational views,” ACM TODS, vol.7, no.3, pp.381-416, 1982.

LINK [4] G. Gottlob, P. Paolini, and R. Zicari, “Properties and update semantics of consistent views,” ACM Trans. Database Syst., vol.13, no.4, pp.486-524, 1988.

LINK [5] 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 Proc. of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.233-246, ACM Press, 2005.

LINK [6] A. Bohannon, J. A. Vaughan, and B. C. Pierce, “Relational lenses: A language for updateable views,” In Proc. of the 25th ACM symposium on Principles of Database Systems, 2006.

LINK [7] A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, and A. Schmitt, “Boomerang: resourceful lenses for string data,” In Proc. of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '08, pp.407-419, 2008.

LINK [8] D. M.J. Barbosa, J. Cretin, N. Foster, M. Greenberg, and B. C. Pierce, “Matching lenses: alignment and view update,” In Proc. of the 15th ACM SIGPLAN international conference on Functional programming, ICFP '10, pp.193-204, 2010.

LINK [9] J. N. Foster, A. Pilkiewicz, and B. C. Pierce, “Quotient lenses,” In Proc. of the 13th ACM SIGPLAN international conference on Functional programming, ICFP '08, pp.383-396, 2008.

LINK [10] S. Hidaka, Z. Hu, H. Kato, and K. Nakano, “A compositional approach to bidirectional model transformation,” In 31st International Conference on Software Engineering, pp.235-238, 2009.

LINK [11] S. Hidaka, Z. Hu, K. Inaba, H. Kato, K. Matsuda, and K. Nakano, “Bidirectionalizing graph transformations,” In Proc. of the 15th ACM SIGPLAN international conference on Functional programming, ICFP '10, pp.205-216, 2010.

LINK [12] M. Hofmann, B. Pierce, and D. Wagner, “Symmetric lenses,” In Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '11, pp.371-384, 2011.

LINK [13] D. Liu, Z. Hu, and M. Takeichi, “Bidirectional interpretation of xquery,” In Proc. of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, PEPM '07, pp.21-30, 2007.

LINK [14] Z. Hu, S.-C. Mu, and M. Takeichi, “A programmable editor for developing structured documents based on bidirectional transformations,” In Proc. of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2004.

LINK [15] D. Chamberlin, P. Fankhauser, D. Florescu, M. Marchiori, and J. Robie, “XML Query Use Cases,” 2006. http://www.w3.org/TR/xquery-use-cases/

LINK [16] “Bidirectional XQuery,” http://www.ipl.t.u-tokyo.ac.jp/~liu/BiXQuery.html

LINK [17] V. Benzaken, G. Castagna, and A. Frisch, “CDuce: an XML-centric general-purpose language,” In Proc. of the ACM International Conference on Functional Programming, 2003.

LINK [18] P. Buneman, S. Khanna, and W.-C. Tan, “On propagation of deletions and annotations through views,” In PODS '02: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp.150-158, New York, NY, USA, 2002. ACM Press.

LINK [19] “Galax: An Implementation of Query,” http://www.galaxquery.org/

LINK [20] A. Marian and J. Simeon, “Projecting XML documents,” In Proc. of VLDB 2003, 2003.

LINK [21] D. Draper, P. Fankhauser, M. Fernndez, A. Malhotra, K. Rose, M. Rys, J. Simeon, and P. Wadler, “XQuery 1.0 and XPath 2.0 Formal Semantics,” 2007. http://www.w3.org/TR/xquery-semantics/

LINK [22] D. Olteanu, H. Meuss, T. Furche, and F. Bry, “XPath: Looking forward,” In Proc. of the EDBT Workshop on XML Data Management (XMLDM), vol.2490 of LNCS, pp.109-127. Springer, 2002.

LINK [23] H. Hosoya and B. C. Pierce, “XDuce: A typed XML processing language,” ACM Transactions on Internet Technology, vol.3, no.2, pp.117-148, 2003.

LINK [24] M. Wallace and C. Runciman, “Haskell and XML: generic combinators or type-based translation?” In Proc. of the fourth ACM SIGPLAN international conference on Functional programming, 1999.

LINK [25] S.-C. Mu, Z. Hu, and M. Takeichi, “An algebraic approach to bi-directional updating,” In APLAS, vol.3302, pp.2-20, 2004.

LINK [26] T. Yokoyama and R. Glück, “A reversible programming language and its invertible self-interpreter,” In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp.144-153. ACM Press, 2007.

LINK [27] K. Matsuda, Z. Hu, K. Nakano, M. Hamana, and M. Takeichi, “Bidirectionalization transformation based on automatic derivation of view complement functions,” In Proc. of the ACM International Conference on Functional Programming, 2007.

LINK [28] V. P. Braganholo, S. B. Davidson, and C. A. Heuser, “PATAXO: A framework to allow updates through xml views,” ACM Trans. Database Syst., vol.31, no.3, pp.839-886, 2006.

LINK [29] V. Braganholo, S. Davidson, and C. Heuser, “From XML view updates to relational view updates: old solutions to a new problem,” In Proc. of VLDB 2004, 2004.

LINK [30] L. Wang and E. A. Rundensteiner, “On the updatability of XML views published over relational data,” In International Conference on Conceptual Modeling, 2004.

LINK [31] I. Boneva, A. Caron, B. Groz, Y. Roos, S. Tison, and S. Staworko, “View update translation for xml,” In Proc. of the 14th International Conference on Database Theory, ICDT '11, pp.42-53, 2011.

LINK [32] H. Kozankiewicz, J. Leszczylowski, and K. Subieta, “Updatable XML views,” In ADBIS, pp.381-399, 2003.

LINK [33] B. Choi, G. Cong, W. Fan, and S. Viglas, “Updating recursive xml views of relations,” In Rada Chirkova, Asuman Dogac, M. Tamer Özsu, and Timos K. Sellis, editors, ICDE, pp.766-775. IEEE, 2007.

LINK [34] J. Liu, C. Liu, T. Härder, and J. Xu Yu, “Updating typical xml views,” In S. G. Lee, Z. Peng, X. Zhou, Y.-S. Moon, R. Unland, and J. Yoo, editors, DASFAA (1), vol.7238 of Lecture Notes in Computer Science, pp.126-140. Springer, 2012.

LINK [35] L. Fegaras, “Propagating updates through xml views using lineage tracing,” In Proc. of the 26th International Conference on Data Engineering (ICDE 2010), pp.309-320, 2010.

LINK [36] L. Wang, E. A. Rundensteiner, M. Mani, and M. Jiang, “Hux: Handling updates in xml,” In Proc. of the 32nd International Conference on Very Large Data Bases (VLDB 2006), pp.1235-1238, 2006.