A Transformational Approach to Correct Schema Refinements

  • Donatella Castelli
  • Serena Pisani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1507)


This paper extends a database schema transformation language, called Schema Refinement Language, with a composition operator and a rule for deriving the conditions under which a composed transformation is guaranteed to produce a correct schema refinement. The framework that results from this extension can be exploited for improving the reliability of the database schema design also when other design frameworks are used.


Composition Operator Integrity Constraint Correct Schema Database Schema Design Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Assenova, P., Johannssen, P.: In: Thalheim, B. (ed.) ER 1996. LNCS, vol. 1157, pp. 277–291. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  2. 2.
    Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)zbMATHCrossRefGoogle Scholar
  3. 3.
    Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design. The Benjamin/Cummings Publishing Company, Inc., Redwood City (1992)zbMATHGoogle Scholar
  4. 4.
    Batini, C., Di Battista, G., Santucci, G.: Structuring Primitives for a Dictionary of Entity Relationship Data Schemas. IEEE Transactions on Software Engineering 19(4) (April 1993)Google Scholar
  5. 5.
    Bergstein, P.L., Hürsch, W.L.: Maintaining Behavioral Consistency during Schema Evolution. In: Nishio, S., Yonezawa, A. (eds.) ISOTAS 1993. LNCS, vol. 742, pp. 176–193. Springer, Heidelberg (1993)Google Scholar
  6. 6.
    Brien, P.M., Poulovassilis, A.: A Formal Framework for ER Schema Transformation. In: Embley, D.W. (ed.) ER 1997. LNCS, vol. 1331, pp. 408–421. Springer, Heidelberg (1997)Google Scholar
  7. 7.
    van Bommel, P.: Database design by computer-aided schema transformations. Software Engineering Journal, 125–132 (July 1995)Google Scholar
  8. 8.
    Castelli, D., Locuratolo, E.: ASSO: A Formal Database Design Methodology. In: Jaakkaola, H., et al. (eds.) Information Modelling and Knowledge Bases VI. IOSPress, Amsterdam (1994)Google Scholar
  9. 9.
    D’Atri, A., Saccà, D.: Equivalence and Mapping of Database Schemas. In: Proceedings of the 10th International Conference on Very Large Data Bases, Singapore, pp. 187–195 (August 1984)Google Scholar
  10. 10.
    Hainaut, J.L.: Transformation-based Database Engineering. In: Tutorial of the Very Large Data Bases Conference, Zurigh, Switzerland (September 1995)Google Scholar
  11. 11.
    Kobayashi, I.: Losslessness and Semantic Correctness of Database Schema Transformations: Another Look of Schema Equivalence. Information Systems 11(1), 41–59 (1986)zbMATHCrossRefGoogle Scholar
  12. 12.
    Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)Google Scholar
  13. 13.
    Castelli, D., Pisani, S.: A Transformational Approach to Database Design, IEI-CNR Technical Report (1998)Google Scholar
  14. 14.
    Biagi, B., Castelli, D., Niccolini, F., Pisani, S.: MIAOW: An object oriented Multimedia DB application on the WWW for the Stone Market, IEI: B4-37-12-97 (1997)Google Scholar
  15. 15.
    De Marco, G., Pisani, S.: Disegno e Realizzazione della Base di Dati Multimediale di Supporto al Progetto Museo Virtuale della Storia dell’Informatica in Italia, IEI-CNR Internal Note B4-25 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Donatella Castelli
    • 1
  • Serena Pisani
    • 1
  1. 1.Istituto di Elaborazione dell’InformazioneConsiglio Nazionale delle RicerchePisaItaly

Personalised recommendations