[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1007/978-3-540-69611-7_19acmotherconferencesArticle/Chapter ViewAbstractPublication PagespadlConference Proceedingsconference-collections
Article

Coupled schema transformation and data conversion for XML and SQL

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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.

Cited By

View all
  • (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
  • (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
  • (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
  • Show More Cited By

Recommendations

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

Sponsors

  • Compulog America: Compulog America

In-Cooperation

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 January 2007

Check for updates

Author Tags

  1. Haskell
  2. SQL
  3. XML
  4. transformation

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (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
  • (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
  • (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
  • (2011)Generating database migrations for evolving web applicationsACM SIGPLAN Notices10.1145/2189751.204787647:3(83-92)Online publication date: 22-Oct-2011
  • (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
  • (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
  • (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
  • (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
  • (2008)Quotient lensesProceedings of the 13th ACM SIGPLAN international conference on Functional programming10.1145/1411204.1411257(383-396)Online publication date: 20-Sep-2008
  • (2008)Quotient lensesACM SIGPLAN Notices10.1145/1411203.141125743:9(383-396)Online publication date: 20-Sep-2008
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media