Abstract
When evolving Conceptual Schemas (CS) one of the most common operations is the removal of some model elements. This removal affects the set of integrity constraints (IC) defined over the CS. Most times they must be modified to remain consistent with the evolved CS. The aim of this paper is to define an automatic evolutionary method to delete only the minimum set of constraints (or some of their parts) needed to keep the consistency with the CS after subtract operations. We consider that a set of constraints is consistent with an evolved CS when: 1) none of them refer to an element removed from the original CS and 2) the set of constraints is equal or less restrictive than the original one. In this paper we present our method assuming CS defined in UML with ICs specified in OCL, but it can be applied to other languages with similar results.
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
Banerjee, J.: Data Model Issues for Object-Oriented Applications. ACM Transactions on Office Information Systems 5(1), 3–26 (1987)
Brèche, P.: Advanced Primitives for Changing Schemas of Object Databases. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 476–495. Springer, Heidelberg (1996)
Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
Gogolla, M., Hohenstein, U.: Towards a Semantic View of an Extended Entity-Relationship Model. ACM Transactions on Database Systems 16(3), 369–416 (1991)
Gomez, C., Olivé, A.: Evolving Partitions in Conceptual Schemas in the UML. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 467–483. Springer, Heidelberg (2002)
Halpin, T.A.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2001)
ISO/TC97/SC5/WG3. Concepts and Terminology for the Conceptual Schema and Information Base, J.J. van Griethuysen, ed. (1982)
Monk, S.: A Model for Schema Evolution in ObjectOriented Database Systems. PhD thesis, Lancaster University (1993)
OMG, OMG Adopted Specification. UML 2.0 Superstructure Specification (2002)
OMG. Request for proposal: MOF 2.0 Query/Views/Transformations. OMG (2002)
OMG, OMG Adopted Specification, UML 2.0 OCL (2003)
OMG. Model Driven Architecture (MDA). OMG (2003)
Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois (1992)
Porres, I.: Model refactorings as rule-based update transformations. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2–17. Springer, Heidelberg (2003)
Roddick, J.F., Craske, N.G., Richards, T.J.: A Taxonomy for Schema Versioning Based on the Relational and Entity Relationship Models. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds.) ER 1993. LNCS, vol. 823, pp. 137–148. Springer, Heidelberg (1994)
Sjø, D.: Quantifying Schema Evolution. Information and Software Technology 35(1), 35–44 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabot, J., Conesa, J. (2004). Automatic Integrity Constraint Evolution due to Model Subtract Operations. In: Wang, S., et al. Conceptual Modeling for Advanced Application Domains. ER 2004. Lecture Notes in Computer Science, vol 3289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30466-1_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-30466-1_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23722-8
Online ISBN: 978-3-540-30466-1
eBook Packages: Springer Book Archive