Abstract
Bidirectional transformations (bx) constitute an emerging mechanism for maintaining the consistency of interdependent sources of information in software systems. Researchers from many different communities have recently investigated the use of bxto solve a large variety of problems, including relational view update, schema evolution, data exchange, database migration, and model co-evolution, just to name a few. Each community leveraged and extended different theoretical frameworks and tailored their use for specific sub-problems. Unfortunately, the question of how these approaches actually relate to and differ from each other remains unanswered. This question should be addressed to reduce replicated efforts among and even within communities, enabling more effective collaboration and fostering cross-fertilization. To effectively move forward, a systematization of these many theories and systems is now required. This paper constitutes a first, humble yet concrete step towards a unified theoretical framework for a tractable and relevant subset of bx approaches and tools. It identifies, characterizes, and compares tools that allow the incremental definition of bidirectional mappings between software artifacts. Identifying similarities between such tools yields the possibility of developing practical tools with wide-ranging applicability; identifying differences allows for potential new research directions, applying the strengths of one tool to another whose strengths lie elsewhere.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Relational and XML Data Exchange. Morgan and Claypool Publishers (2010)
Arenas, M., Peréz, J., Riveros, C.: The recovery of a schema mapping: bringing exchanged data back. In: PODS 2008 (2008)
Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: PODS 2006 (2006)
Boyd, M., McBrien, P.: Comparing and Transforming Between Data Models Via an Intermediate Hypergraph Data Model. In: Spaccapietra, S. (ed.) Journal on Data Semantics IV. LNCS, vol. 3730, pp. 69–109. Springer, Heidelberg (2005)
Cleve, A.: Program analysis and transformation for data-intensive system evolution. PhD thesis. University of Namur, Chapter 10 (2009)
Cleve, A., Brogneaux, A.-F., Hainaut, J.-L.: A Conceptual Approach to Database Applications Evolution. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 132–145. Springer, Heidelberg (2010)
Cleve, A., Hainaut, J.-L.: Co-transformations in Database Applications Evolution. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 409–421. Springer, Heidelberg (2006)
Cleve, A., Henrard, J., Roland, D., Hainaut, J.-L.: Wrapper-based system evolution — application to CODASYL to relational migration. In: CSMR 2008, pp. 13–22. IEEE CS (2008)
Curino, C.A., Moon, H., Zaniolo, C.: Graceful Database Schema Evolution: the PRISM Workbench. In: VLDB 2008 (2008)
Curino, C.A., Moon, H., Deutsch, A., Zaniolo, C.: Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++. In: VLDB 2011 (2011)
Czarnecki, K., Foster, J.N., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 260–283. Springer, Heidelberg (2009)
Dayal, U., Bernstein, P.: On the Correct Translation of Update Operations on Relational Views. ACM Transactions on Database Systems 8(3) (September 1982)
Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: PODS 2008 (2008)
Fagin, R., Haas, L.M., Hernández, M., Miller, R.J., Popa, L., Velegrakis, Y.: Clio: Schema Mapping Creation and Data Exchange. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 198–236. Springer, Heidelberg (2009)
Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)
Foster, J.N., Pilkiewicz, A., Pierce, B.C.: Quotient Lenses. In: ICFP 2008 (2008)
Hainaut, J.-L.: A generic entity-relationship model. In: Proc. of the IFIP WG 8.1 Conference on Information System Concepts: an In-depth Analysis, pp. 109–138. North-Holland (1989)
Hainaut, J.-L.: The Transformational Approach to Database Engineering. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 95–143. Springer, Heidelberg (2006)
Hainaut, J.-L., Cleve, A., Hick, J.-M., Henrard, J.: Migration of Legacy Information Systems. Software Evolution (2008)
Hick, J.-M., Hainaut, J.-L.: Database application evolution: A transformational approach. Data & Knowledge Engineering 59, 534–558 (2006)
Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: POPL 2012 (2012)
Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL 2011 (2011)
Hu, Z., Schürr, A., Stevens, P., Terwilliger, J.F.: Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record 40(1) (2011)
Hu, Z., Schürr, A., Stevens, P., Terwilliger, J.F.: Bidirectional Transformation ”bx” (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1) (2011)
Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP 2007 (2007)
McBrien, P., Poulovassilis, A.: Data Integration by Bi-Directional Schema Transformation Rules. In: ICDE 2003 (2003)
McBrien, P., Poulovassilis, A.: Schema Evolution in Heterogeneous Database Architectures, A Schema Transformation Approach. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 484–499. Springer, Heidelberg (2002)
Moon, H.J., Curino, C.A., Deutsch, A., Hou, C.-Y., Zaniolo, C.: Managing and querying transaction-time databases under schema evolution. In: VLDB 2008 (2008)
Moon, H.J., Curino, C., Zaniolo, C.: Scalable Architecture and Query Optimization for Transaction-time DBs with Evolving Schemas. In: SIGMOD 2010 (2010)
Poulovassilis, A., McBrien, P.: A general formal framework for schema transformation. Data & Knowlegde Engineering 28(1), 47–71 (1998)
Terwilliger, J.F., Delcambre, L.M.L., Logan, J.: Querying Through a User Interface. Journal of Data and Knowledge Engineering (DKE) 63(3)
Terwilliger, J.F., Delcambre, L.M.L., Maier, D., Steinhauer, J., Britell, S.: Updatable and Evolvable Transforms for Virtual Databases. PVLDB 3(1) (VLDB 2010)
Vassiliadis, P., et al.: A generic and customizable framework for the design of ETL scenarios. Information Systems 30(7)
Velegrakis, Y., Miller, R.J., Popa, L.: Preserving Mapping Consistency Under Schema Changes. VLDB Journal 13(3) (2004)
Voigtländer, J.: Bidirectionalization for Free! In: POPL 2009 (2009)
Voigtländer, J., Hu, Z., Matsuda, K., Wang, M.: Combining syntactic and semantic bidirectionalization. In: ICFP 2010 (2010)
Yu, C., Popa, L.: Semantic Adaptation of Schema Mappings When Schemas Evolve. In: VLDB 2005 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terwilliger, J.F., Cleve, A., Curino, C.A. (2012). How Clean Is Your Sandbox?. In: Hu, Z., de Lara, J. (eds) Theory and Practice of Model Transformations. ICMT 2012. Lecture Notes in Computer Science, vol 7307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30476-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-30476-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30475-0
Online ISBN: 978-3-642-30476-7
eBook Packages: Computer ScienceComputer Science (R0)