Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Assenova, P., Johannssen, P.: In: Thalheim, B. (ed.) ER 1996. LNCS, vol. 1157, pp. 277–291. Springer, Heidelberg (1996)
Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)
Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design. The Benjamin/Cummings Publishing Company, Inc., Redwood City (1992)
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)
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)
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)
van Bommel, P.: Database design by computer-aided schema transformations. Software Engineering Journal, 125–132 (July 1995)
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)
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)
Hainaut, J.L.: Transformation-based Database Engineering. In: Tutorial of the Very Large Data Bases Conference, Zurigh, Switzerland (September 1995)
Kobayashi, I.: Losslessness and Semantic Correctness of Database Schema Transformations: Another Look of Schema Equivalence. Information Systems 11(1), 41–59 (1986)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)
Castelli, D., Pisani, S.: A Transformational Approach to Database Design, IEI-CNR Technical Report (1998)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castelli, D., Pisani, S. (1998). A Transformational Approach to Correct Schema Refinements. In: Ling, TW., Ram, S., Li Lee, M. (eds) Conceptual Modeling – ER ’98. ER 1998. Lecture Notes in Computer Science, vol 1507. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49524-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-49524-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65189-5
Online ISBN: 978-3-540-49524-6
eBook Packages: Springer Book Archive