Coupled Transformation of Schemas, Documents, Queries, and Constraints

Electronic Notes in Theoretical Computer Science

Volumn 200, Issue 3, 2008, Pages 3-23

  Visser, Joost ^a  

^a CWI   (Netherlands)

Author keywords

constraint propagation; Coupled transformation; data mappings; data refinement; format evolution; model transformation; point free program transformation; query migration; strategic term rewriting; two level transformation

Indexed keywords

COMPUTER SOFTWARE; DATA STRUCTURES; MATHEMATICAL TRANSFORMATIONS; QUERY LANGUAGES; QUERY PROCESSING; XML;

CONSTRAINT PROPAGATION; COUPLED TRANSFORMATION; DATA MAPPINGS; DATA REFINEMENT; FORMAT EVOLUTION; MODEL TRANSFORMATION; POINT FREE PROGRAM TRANSFORMATION; QUERY MIGRATION; STRATEGIC TERM REWRITING; TWO LEVEL TRANSFORMATION;

RELATIONAL DATABASE SYSTEMS;

EID: 44049100501     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.090     Document Type: Article

References (46)

1. T. Alves, P.F. Silva, and Joost Visser. Contraint-aware schema transformation. Draft, 2008
2. Alves T.L., Silva P.F., Visser J., and Oliveira J.N. Strategic term rewriting and its application to a VDM-SL to SQL conversion. In: Fitzgerald J., Hayes I.J., and Tarlecki A. (Eds). FM. LNCS volume 3582 (2005), Springer 399-414
3. Amer-Yahia S., Du F., and Freire J. A comprehensive solution to the XML-to-relational mapping problem. WIDM '04: Proc. 6th annual ACM Int workshop on Web Information and Data Management (2004), ACM Press 31-38
4. F. Atanassow and J. Jeuring. Inferring type isomorphisms generically. In Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, volume 3125, pages 32-53, 2004
5. Backus J.W. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Commun. ACM 21 8 (1978) 613-641
6. Barbosa D., Freire J., and Mendelzon A.O. Designing information-preserving mapping schemes for XML. VLDB'05: Proc. 31st Int. Conf. Very Large Data Bases (2005), VLDB Endowment 109-120
7. Berdaguer P., Cunha A., Pacheco H., and Visser J. Coupled schema transformation and data conversion for XML and SQL. In: Hanus M. (Ed). PADL. LNCS volume 4354 (2007), Springer 290-304
8. Bird R. Introduction to Functional Programming using Haskell. International Series in Computer Science (1998), Prentice Hall
9. P. Bohannon et al. LegoDB: Customizing relational storage for XML documents. In Proc. 28th Int. Conf. on Very Large Data Bases, pages 1091-1094, 2002
10. Bohannon P., Freire J., Roy P., and Siméon J. From XML schema to relations: A cost-based approach to XML storage. ICDE '02: Proc. 18th Int. Conf. on Data Engineering (2002), IEEE Computer Society 64
11. E. Bouwers and R. Vis. Multidimensional software monitoring applied to erp. In Christos Makris and Joost Visser, editors, Proceedings of the Second International Workshop on Software Quality and Maintainability. To appear, 2008
12. Y. Chen et al. Constraints preserving schema mapping from XML to relations. In Proc. 5th Int. Workshop Web and Databases (WebDB), pages 7-12, 2002
13. A. Cleve and J.-L. Hainaut. Co-transformations in database applications evolution. In R. Lämmel, J. Saraiva, and J. Visser, editors, Generative and Transformational Techniques in Software Engineering, volume 4143 of LNCS. Springer, 2006. To appear
14. Cleve A., Henrard J., and Hainaut J.-L. Co-transformations in information system reengineering. Electr. Notes Theor. Comput. Sci. 137 3 (2005) 5-15
15. Cunha A., Oliveira J.N., and Visser J. Type-safe two-level data transformation. In: Misra J., et al. (Ed). Proc. Formal Methods. 14th Int. Symp. Formal Methods Europe. LNCS volume 4085 (2006), Springer 284-299
16. Cunha A., and Sousa Pinto J. Point-free program transformation. Fundam. Inform. 66 4 (2005) 315-352
17. Cunha A., Sousa Pinto J., and Proença J. A framework for point-free program transformation. In: Butterfield A., Grelck C., and Huch F. (Eds). Implementation and Application of Functional Languages. 17th Int. Workshop, IFL 2005. LNCS volume 4015 (2006), Springer 1-18 Revised Selected Papers
18. Cunha A., and Visser J. Strongly typed rewriting for coupled software transformation. Proc. 7th Int. Workshop on Rule-Based Programming. (RULE 2006). ENTCS 174 1 (2007) 17-34
19. Cunha A., and Visser J. Transformation of structure-shy programs: applied to XPath queries and strategic functions. In: Ramalingam G., and Visser E. (Eds). PEPM (2007), ACM 11-20
20. Davidson S.B., et al. Propagating XML constraints to relations. Proc. 19th Int. Conf. on Data Engineering (2003), IEEE Computer Society 543
21. van Deursen A., and Kuipers T. Source-based software risk assessment. ICSM '03: Proc. Int. Conference on Software Maintenance (2003), IEEE Computer Society, Washington, DC, USA 385
22. Foster J.N., et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL '05: Proc. 32nd ACM symp. on Principles of Programming Languages (2005), ACM Press 233-246
23. Gibbons J. Calculating functional programs. In: Backhouse R., et al. (Ed). Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS volume 2297 (2002), Springer 148-203 chapter 5
24. Hinze R., Löh A., and Oliveira B.C.d.S. "Scrap your boilerplate" reloaded. Proc. 8th Int. Symp. on Functional and Logic Programming. Lecture Notes in Computer Science volume 3945 (2006), Springer 13-29
25. Hu Z., Yokoyama T., and Takeichi M. Program optimizations and transformations in calculational form. In: Lämmel R., Saraiva J., and Visser J. (Eds). Generative and Transformational Techniques in Software Engineering. LNCS volume 4143 (2006), Springer
26. Kuipers T., and Visser J. A tool-based methodology for software portfolio monitoring. In: Piattini M., and Serrano M. (Eds). Proceedings of the 1st International Workshop on Software Audit and Metrics. SAM 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004 (2004), INSTICC Press 118-128
27. T. Kuipers, J. Visser, and G. de Vries. Monitoring the quality of outsourced software. In J. van Hillegersberg, F. Harmsen, C. Amrit, E. Geisberger, P. Keil, and M. Kuhrmann, editors, Proceedings of the International Workshop on Tools for Managing Globally Distributed Software Development (TOMAG 2007), Enschede, The Netherlands, 2007. Center for Telematics and Information Technology (CTIT)
28. R. Lämmel. Coupled Software Transformations (Extended Abstract). In First International Workshop on Software Evolution Transformations, November 2004
29. Lämmel R. Transformations everywhere. Sci. Comput. Program. 52 (2004) 1-8 Guest editor's introduction to special issue on program transformation
30. Lämmel R., and Lohmann W. Format Evolution. Proc. 7th Int. Conf. on Reverse Engineering for Information Systems. books@ocg.at volume 155 (2001), OCG 113-134
31. Lämmel R., and Meijer E. Mappings make data processing go 'round. In: Lämmel R., Saraiva J., and Visser J. (Eds). Generative and Transformational Techniques in Software Engineering. LNCS volume 4143 (2006), Springer
32. Lämmel R., and Peyton Jones S. Scrap your boilerplate: a practical design pattern for generic programming. Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation. (TLDI 2003). ACM SIGPLAN Notices 38 3 (March 2003) 26-37
33. Lämmel R., Visser E., and Visser J. The Essence of Strategic Programming. Available at (October 8 2003). http://www.cwi.nl/~ralf
34. R. Lämmel and J. Visser. Strategic polymorphism requires just two combinators! Technical Report cs.PL/0212048, arXiv, December 2002. An early version was published in the informal preproceedings IFL 2002
35. Lämmel R., and Visser J. Typed Combinators for Generic Traversal. Proc. Practical Aspects of Declarative Programming. PADL 2002. LNCS volume 2257 (January 2002), Springer 137-154
36. Lee D., and Chu W.W. Cpi: Constraints-preserving inlining algorithm for mapping xml dtd to relational schema. Data Knowl. Eng. 39 1 (2001) 3-25
37. de Moor O., and Sittampalam G. Generic program transformation. In: Swierstra D., Henriques P., and Oliveira J. (Eds). Proc. 3rd Int. Summer School on Advanced Functional Programming. LNCS volume 1608 (1999), Springer 116-149
38. Morgan C., and Gardiner P.H.B. Data refinement by calculation. Acta Informatica 27 (1990) 481-503
39. Oliveira J.N. A reification calculus for model-oriented software specification. Formal Aspects of Computing 2 1 (April 1990) 1-23
40. Oliveira J.N. Software reification using the SETS calculus. In: Denvir T., et al. (Ed). Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development (1992), Springer 140-171
41. J.N. Oliveira. 'Fractal' Types: an Attempt to Generalize Hash Table Calculation. In Workshop on Generic Programming (WGP'98), Marstrand, Sweden, June 1998
42. Oliveira J.N. Data transformation by calculation. In: Lämmel R., Saraiva J., and Visser J. (Eds). Generative and Transformational Techniques in Software Engineering. LNCS volume 4143 (2008), Springer
43. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Univ. of Pennsylvania, July 2004
44. Visser E. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In: Middeldorp A. (Ed). Rewriting Techniques and Applications. LNCS volume 2051 (May 2001), Springer 357-361
45. Visser E., and Benaissa Z. A core language for rewriting. Electr. Notes Theor. Comput. Sci. 15 (1998)
46. Wadler P. Deforestation: Transforming programs to eliminate trees. Proc. European Symposium on Programming. LNCS volume 300 (1988), Springer 344-358