Abstract
We propose two new methods for the definition of integrity constraints in object-oriented conceptual modeling languages. The first method applies to static constraints, and consists in representing them by special operations, that we call constraint operations. The specification of these operations is then the definition of the corresponding constraints. The second method, which is a slight variant of the previous one, applies to creation-time constraints, a particular class of temporal constraints. Both methods allow the specialization of constraints and the definition of exceptions. We include also an adaptation of the two methods to the UML.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bassiliades, N., Vlahavas, I.: Modelling Constraints with Exceptions in Object-Oriented Databases. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol. 881, pp. 189–204. Springer, Heidelberg (1994)
Boman, M., Bubenko Jr., J.A., Johannesson, P., Wangler, B.: Conceptual Modelling, p. 269. Prentice Hall, Englewood Cliffs (1997)
Bertino, E., Ferrari, E., Guerrini, G.: T_Chimera: A Temporal ObjectOriented Data Model. Theory and Practice of Object Systems 3(2), 103–125
Bouzeghoub, M., Métais, E.: Semantic Modeling of Object Oriented Databases. In: Proc. 17th. VLDB, Barcelona, pp. 3–14 (1991)
Borgida, A.: Language Features for Flexible Handling of Exceptions in Information Systems. ACM TODS 10(4), 565–603
Borgida, A.: Modeling Class Hierarchies with Contradictions. In: Proc. ACM SIGMOD 1988, pp. 434–443 (1988)
Borgida, A., Mylopoulos, J., Wong, H.K.T.: Generalization/Specialization as a Basis for Software Specification. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling, pp. 87–117. Springer, Heidelberg
Calvanese, D., Lenzerini, M., Nardi, D.: Description Logics for Conceptual Data Modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229–263. Kluwer, Dordrecht (1998)
Ceri, S., Fraternali, P.: Designing Database Applications with Objects and Rules. The IDEA Methodology, p. 579. Addison-Wesley, Reading (1997)
Cook, S., Daniels, J.: Designing Object Systems. Object-Oriented Modelling with Syntropy, p. 389. Prentice-Hall, Englewood Cliffs (1994)
Das, S.K.: Deductive Databases and Logic Programming, p. 432. Addison-Wesley, Reading (1992)
D’Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML. The Catalysis Approach, p. 785. Addison-Wesley, Reading (1999)
Embley, D.W., Kurtz, B.D., Woodfield, S.N.: Object-Oriented Systems Analysis. A Model-Driven Approach, p. 302. Yourdon Press, New York (1992)
Halpin, T.: Information Modeling and Relational Databases. From Conceptual Analysis to Logical Design, p. 761. Morgan Kaumann Pub., San Francisco (2001)
van Griethuysen, J.J. (ed.) Concepts and Terminology for the Conceptual Schema and the Information Base (March 1982) ISO/TC97/SC5/WG3
Kowalski, R.: Logic for Data Description. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 77–103. Plenum Press, New York (1978)
Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: a language for representing knowledge about information systems. ACM TOIS 8(4), 327–362 (1990)
Nicolas, J.M., Yazdanian, K.: Integrity Checking in Deductive Databases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 325–344. Plenum Press, New York (1987)
OMG. Unified Modeling Language Specification, Version 1.4 (September 2001), http://www.omg.org/technology/documents/formal/uml.htm
OMG. Model Driven Architecture (MDA), Doc. number ORMSC/2001-07-01, http://cgi.omg.org/docs/ormsc/01-07-01.pdf
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, p. 550. Addison-Wesley, Reading (1999)
Thalheim, B.: Entity-Relationship Modeling. Foundations of Database Technology, p. 627. Springer, Heidelberg
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Olivé, A. (2003). Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. In: Song, IY., Liddle, S.W., Ling, TW., Scheuermann, P. (eds) Conceptual Modeling - ER 2003. ER 2003. Lecture Notes in Computer Science, vol 2813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39648-2_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-39648-2_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20299-8
Online ISBN: 978-3-540-39648-2
eBook Packages: Springer Book Archive