Data model descriptions and translation signatures in a multi-model framework

  • Paolo Atzeni
  • Giorgio Gianforme
  • Paolo Cappellari
Article

Abstract

We refer to the problem of translating schemas from a data model to another, in a multi-model framework. Specifically, we consider an approach where translations are specified as Datalog-like programs. In this context we show how it is possible to reason on models and schemas involved as input and output for a translation. The various notions are formalized: (i) concise descriptions of models in terms of sets of constructs, with associated propositional formulas; (ii) a notion of signature for translation rules (with the property that signatures can be automatically computed out of rules); (iii) the application of signatures to models. The main result is that the target model of a translation can be completely characterized given the description of the source model and the signatures of the rules. This result is being exploited in the framework of a tool that implements model generic translations, as the basis for the automatic generation of translations out of a library of elementary ones.

Keywords

Schema translation Datalog Formal systems 

Mathematics Subject Classification (2010)

68P60 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Cluet, S., Milo, T.: Correspondence and translation for heterogeneous data. Theor. Comput. Sci. 275(1–2), 179–213 (2002)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Abiteboul, S., Hull, R.: Restructuring hierarchical database objects. Theor. Comput. Sci. 62(1–2), 3–38 (1988)MathSciNetMATHGoogle Scholar
  3. 3.
    Atzeni, P., Bellomarini, L., Bugiotti, F., Gianforme, G.: A runtime approach to model-independent schema and data translation. In: EDBT Conference, pp. 275–286. ACM (2009)Google Scholar
  4. 4.
    Atzeni, P., Cappellari, P., Bernstein, P.A.: A multilevel dictionary for model management. In: ER Conference. LNCS, vol. 3716, pp. 160–175. Springer, Berlin Heidelberg New York (2005)Google Scholar
  5. 5.
    Atzeni, P., Cappellari, P., Bernstein, P.A.: Model-independent schema and data translation. In: EDBT Conference. LNCS, vol. 3896, pp. 368–385. Springer, Berlin Heidelberg New York (2006)Google Scholar
  6. 6.
    Atzeni, P., Cappellari, P., Gianforme, G.: MIDST: model independent schema and data translation. In: SIGMOD Conference, pp. 1134–1136. ACM (2007)Google Scholar
  7. 7.
    Atzeni, P., Cappellari, P., Torlone, R., Bernstein, P.A., Gianforme, G.: Model-independent schema translation. VLDB J. 17(6), 1347–1370 (2008)CrossRefGoogle Scholar
  8. 8.
    Atzeni, P., Gianforme, G., Toti, D.: Polymorphism in datalog and inheritance in a metamodel. In: FOIKS Symposium. LNCS, vol. 5956, pp. 114–132. Springer, Berlin Heidelberg New York (2010)Google Scholar
  9. 9.
    Atzeni, P., Torlone, R.: Management of multiple models in an extensible database design tool. In: EDBT Conference. LNCS, vol. 1057, pp. 79–95. Springer, Berlin Heidelberg New York (1996)Google Scholar
  10. 10.
    Batini, C., Ceri, S., Navathe, S.: Database Design with the Entity-Relationship Model. Benjamin Cummings, Menlo Park, CA (1992)Google Scholar
  11. 11.
    Bernstein, P.A.: Applying model management to classical meta data problems. In: CIDR Conference, pp. 209–220 (2003)Google Scholar
  12. 12.
    Bernstein, P.A., Melnik, S., Mork, P.: Interactive schema translation with instance-level mappings. In: VLDB, pp. 1283–1286 (2005)Google Scholar
  13. 13.
    Bowers, S., Delcambre, L.M.L.: The uni-level description: a uniform framework for representing information in multiple data models. In: ER Conference. LNCS, vol. 2813, pp. 45–58. Springer, Berlin Heidelberg New York (2003)Google Scholar
  14. 14.
    Cosmadakis, S., Kanellakis, P.: Functional and inclusion dependencies - a graph theoretical approach. In: P. Kanellakis, F. Preparata (eds.) Advances in Computing Research, vol. 3, pp. 163–184. JAI Press (1986)Google Scholar
  15. 15.
    Davidson, S.B., Kosky, A.: Wol: a language for database transformations and constraints. In: ICDE, pp. 55–65 (1997)Google Scholar
  16. 16.
    Hull, R.: Relative information capacity of simple relational schemata. SIAM J. Comput. 15(3), 856–886 (1986)MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Hull, R., King, R.: Semantic database modelling: Survey, applications and research issues. ACM Comput. Surv. 19(3), 201–260 (1987)CrossRefGoogle Scholar
  18. 18.
    Hull, R., Yoshikawa, M.: ILOG: declarative creation and manipulation of object identifiers. In: Sixteenth International Conference on Very Large Data Bases, Brisbane (VLDB’90), pp. 455–468 (1990)Google Scholar
  19. 19.
    Markowitz, V.M., Shoshani, A.: On the correctness of representing extended entity-relationship structures in the relational model. In: SIGMOD, pp. 430–439 (1989)Google Scholar
  20. 20.
    McGee, W.C.: A contribution to the study of data equivalence. In: IFIP Working Conference Data Base Management, pp. 123–148 (1974)Google Scholar
  21. 21.
    Miller, R.J., Ioannidis, Y.E., Ramakrishnan, R.: The use of information capacity in schema integration and translation. In: VLDB, pp. 120–133 (1993)Google Scholar
  22. 22.
    Papotti, P., Torlone, R.: Heterogeneous data translation through XML conversion. J. Web Eng. 4(3), 189–204 (2005)Google Scholar
  23. 23.
    Tarski, A.: A lattice-theorethic fixpoint theorem and its applications. Pac. J. Math. 5, 285–309 (1955)MathSciNetMATHGoogle Scholar
  24. 24.
    Ullman, J.D., Widom, J.: A First Course in Database Systems. Prentice-Hall, Englewood Cliffs, NJ (1997)Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  • Paolo Atzeni
    • 1
  • Giorgio Gianforme
    • 1
  • Paolo Cappellari
    • 1
  1. 1.Dipartimento di Informatica e AutomazioneUniversità Roma TreRomaItaly

Personalised recommendations