Article

Coupled schema transformation and data conversion for XML and SQL

Authors:

Pablo Berdaguer,

Joost VisserAuthors Info & Claims

PADL'07: Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

Pages 290 - 304

https://doi.org/10.1007/978-3-540-69611-7_19

Published: 14 January 2007 Publication History

Abstract

A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. We have implemented a system for performing two-level transformations on XML schemas and their corresponding documents, and on SQL schemas and the databases that they describe. The core of the system consists of a combinator library for composing type-changing rewrite rules that preserve structural information and referential constraints. We discuss the implementation of the system's core library, and of its SQL and XML front-ends in the functional language Haskell. We show how the system can be used to tackle various two-level transformation scenarios, such as XML schema evolution coupled with document migration, and hierarchical-relational data mappings that convert between XML documents and SQL databases.

References

[1]

S. Amer-Yahia, F. Du, and J. Freire. A comprehensive solution to the XML-torelational mapping problem. In WIDM '04: Proc. 6th annual ACM Int workshop on Web Information and Data Management, pages 31-38. ACM Press, 2004.

Digital Library

[2]

D. Barbosa, J. Freire, and A.O. Mendelzon. Designing information-preserving mapping schemes for XML. In VLDB'05: Proc. 31st Int. Conf. Very Large Data Bases, pages 109-120. VLDB Endowment, 2005.

Digital Library

[3]

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.

Digital Library

[4]

P. Bohannon, J. Freire, P. Roy, and J. Siméon. From XML schema to relations: A cost-based approach to XML storage. In ICDE '02: Proc. 18th Int. Conf. on Data Engineering, pages 64-. IEEE Computer Society, 2002.

Digital Library

[5]

Y. Chen, S.B. Davidson, C.S. Hara, and Y. Zheng. RRXS: Redundancy reducing XML storage in relations. In Proc. 29th VLDB Conference, pages 189-200, 2003.

Digital Library

[6]

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.

[7]

A. Cunha, J.N. Oliveira, and J. Visser. Type-safe two-level data transformation. In J. Misra et al., editors, Proc. Int. Symp. of Formal Methods Europe, volume 4085 of LNCS. Springer, 2006.

Digital Library

[8]

A. Cunha and J. Visser. Strongly typed rewriting for coupled software transformation. In M. Fernandez and R Lämmel, editors, Proc. 7th Int. Workshop on Rule-Based Programming (RULE 2006), ENTCS. Elsevier, 2006. To appear.

[9]

S.B. Davidson et al. Propagating XML constraints to relations. In Proc. 19th Int. Conf. on Data Engineering, pages 543-. IEEE Computer Society, 2003.

[10]

J.N. Foster et al. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In Proc. 32nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 233-246. ACM Press, 2005.

Digital Library

[11]

R. Hinze, A. Löh, and B.C.d.S. Oliveira. "Scrap your boilerplate" reloaded. In Proc. 8th Int. Symp. on Functional and Logic Programming, volume 3945 of Lecture Notes in Computer Science, pages 13-29. Springer, 2006.

Digital Library

[12]

R. Lämmel. Coupled Software Transformations (Extended Abstract). In First International Workshop on Software Evolution Transformations, November 2004.

[13]

R. Lämmel, S. Kitsis, and D. Remy. Analysis of XML schema usage. In Conference Proceedings XML 2005, November 2005.

[14]

R. Lämmel and W. Lohmann. Format Evolution. In Proc. 7th Int. Conf. on Reverse Engineering for Information Systems, volume 155 of [email protected], pages 113-134. OCG, 2001.

[15]

R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, March 2003.

Digital Library

[16]

R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In Proc. Practical Aspects of Declarative Programming PADL 2002, volume 2257 of LNCS, pages 137-154. Springer, January 2002.

Digital Library

[17]

S. Marlow. Happy User Guide. Glasgow University, December 1997.

[18]

F.L. Neves, J.C. Silva, and J.N. Oliveira. Converting informal meta-data to VDMSL: A reverse calculation approach. In VDM in Practice!, September 1999.

[19]

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.

[20]

M. Takeichi S.-C. Mu, Z. Hu. Bidirectionalizing tree transformation languages: A case study. JSSST Computer Software, 23(2):129-141, 2006.

[21]

J. Visser. Structure metrics for XML Schema. In J.C. Ramalho et al., editors, XATA2006, XML: Aplicações e Tecnologias Associadas. Univ. of Minho, 2006.

[22]

M.Wallace and C. Runciman. Haskell and XML: generic combinators or type-based translation? In Proc. 4th ACM SIGPLAN Int. Conf. on Functional Programming, pages 148-159. ACM Press, 1999.

Digital Library

Cited By

Lämmel RStorm TBalland EVarro D(2016)Coupled software transformations revisitedProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997366(239-252)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997366
Hoppen MSchluse MRossmann JWainer GMosterman PBarros FZacharewicz G(2013)A metamodel-based approach for generalizing requirements in database-driven 3D simulation (WIP)Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium10.5555/2499634.2499637(1-6)Online publication date: 7-Apr-2013
https://dl.acm.org/doi/10.5555/2499634.2499637
Pacheco HCunha A(2012)MultifocalProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_6(89-104)Online publication date: 28-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30476-7_6
Show More Cited By

Recommendations

Constraint Preserving Transformation from Relational Schema to XML Schema

XML has become the standard for publishing and exchanging data on the Web. However, most business data is managed and will remain to be managed by relational database management systems. As such, there is an increasing need to efficiently and accurately ...
XML-based XML schema access
WWW '07: Proceedings of the 16th international conference on World Wide Web

XML Schema's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not a direct representation of the schema components, and it proves to be ...
Optimizing the execution of XSLT stylesheets for querying transformed XML data

We have to deal with different data formats whenever data formats evolve or data must be integrated from heterogeneous systems. These data when implemented in XML for data exchange cannot be shared freely among applications without data transformation. ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

PADL'07: Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

January 2007

334 pages

ISBN:3540696083

Editor:
Michael Hanus
Institut für Informatik, CAU Kiel, Germany

Sponsors

Compulog America: Compulog America

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 January 2007

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lämmel RStorm TBalland EVarro D(2016)Coupled software transformations revisitedProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997366(239-252)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997366
Hoppen MSchluse MRossmann JWainer GMosterman PBarros FZacharewicz G(2013)A metamodel-based approach for generalizing requirements in database-driven 3D simulation (WIP)Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium10.5555/2499634.2499637(1-6)Online publication date: 7-Apr-2013
https://dl.acm.org/doi/10.5555/2499634.2499637
Pacheco HCunha A(2012)MultifocalProceedings of the 5th international conference on Theory and Practice of Model Transformations10.1007/978-3-642-30476-7_6(89-104)Online publication date: 28-May-2012
https://dl.acm.org/doi/10.1007/978-3-642-30476-7_6
Vermolen SWachsmuth GVisser E(2011)Generating database migrations for evolving web applicationsACM SIGPLAN Notices10.1145/2189751.204787647:3(83-92)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2189751.2047876
Vermolen SWachsmuth GVisser EDenney ESchultz U(2011)Generating database migrations for evolving web applicationsProceedings of the 10th ACM international conference on Generative programming and component engineering10.1145/2047862.2047876(83-92)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2047862.2047876
Pacheco HCunha AKhoo SSiek J(2011)Calculating with lensesProceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation10.1145/1929501.1929520(91-100)Online publication date: 24-Jan-2011
https://dl.acm.org/doi/10.1145/1929501.1929520
Pacheco HCunha A(2010)Generic point-free lensesProceedings of the 10th international conference on Mathematics of program construction10.5555/1886619.1886640(331-352)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.5555/1886619.1886640
Foster NMatsuda KVoigtländer J(2010)Three complementary approaches to bidirectional programmingProceedings of the 2010 international spring school conference on Generic and Indexed Programming10.1007/978-3-642-32202-0_1(1-46)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1007/978-3-642-32202-0_1
Foster JPilkiewicz APierce BHook JThiemann P(2008)Quotient lensesProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411257(383-396)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411204.1411257
Foster JPilkiewicz APierce B(2008)Quotient lensesACM SIGPLAN Notices10.1145/1411203.141125743:9(383-396)Online publication date: 20-Sep-2008
https://dl.acm.org/doi/10.1145/1411203.1411257
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

Media

Figures

Other

Tables

View Table of Contents