A method for the definition of integrity constraints in object-oriented conceptual modeling languages

Data and Knowledge Engineering

Volumn 59, Issue 3 SPEC. ISS., 2006, Pages 559-575

  Olivé, Antoni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Conceptual modeling; Exceptions; Integrity constraints

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; KNOWLEDGE ENGINEERING; USER INTERFACES;

CONCEPTUAL MODELING; EXCEPTIONS; INTEGRITY CONSTRAINTS;

OBJECT ORIENTED PROGRAMMING;

EID: 33749244760     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2005.10.006     Document Type: Article

References (37)

1. Bassiliades N., and Gray P.M.D. CoLan: A functional constraint language and its implementation. Data Knowl. Eng. 14 (1994) 203-249
2. N. Bassiliades, I. Vlahavas, Modelling constraints with exceptions in object-oriented databases, in: Proc. ER'94, Manchester, LNCS 881, pp. 189-204.
3. P. Bekaert, B. Van Nuffelen, M. Bruynooghe, D. Gilis, M. Denecker, On the transformation of object-oriented conceptual models to logical theories, in: Proc. ER2002, Tampere, LNCS 2503, pp. 152-166.
4. Bertino E., Ferrari E., and Guerrini G. T_Chimera: A temporal object-oriented data model. Theory Pract Obj. Syst. 3 2 (1997) 103-125
5. E. Bertino, G. Guerrini, Objects with multiple most specific classes, in: Proc. ECOOP'95, Åarhus, LNCS 952, pp. 102-126.
6. E. Bertino, G. Guerrini, I. Merlo, Exception handling in object-oriented databases, in: Advances in Exception Handling Techniques, LNCS 2022, 2000, pp. 234-250.
7. M. Bouzeghoub, E. Métais, Semantic modeling of object oriented databases, in: Proc. 17th VLDB, 1991, Barcelona, pp. 3-14.
8. A. Borgida, J. Mylopoulos, R. Reiter, And nothing else changes: the frame problem in procedure Specifications, in: Proc. ICSE 1993, Baltimore, pp. 303-314.
9. Borgida A. Language features for flexible handling of exceptions in information systems. ACM TODS 10 4 (1985) 565-603
10. A. Borgida, Modeling class hierarchies with contradictions, in: Proc. ACM SIGMOD 88, pp. 434-443.
11. Borgida A., Mylopoulos J., and Schmidt J.W. The TaxisDL software description language. In: Jarke M. (Ed). Database Applications Engineering with DAIDA (1993), Springer-Verlag, Berlin 63-84
12. Borgida A., Mylopoulos J., and Wong H.K.T. Generalization/specialization as a basis for software specification. In: Brodie M.L., Mylopoulos J., and Schmidt J.W. (Eds). On Conceptual Modelling (1982), Springer, Berlin 87-117
13. Calvanese D., Lenzerini M., and Nardi D. Description logics for conceptual data modeling. In: Chomicki J., and Saake G. (Eds). Logics for Databases and Information Systems (1998), Kluwer, Dordrecht 229-263
14. Ceri S., and Fraternali P. Designing Database Applications with Objects and Rules. The IDEA Methodology (1997), Addison-Wesley, Reading, MA 579 p
15. Cook S., and Daniels J. Designing Object Systems. Object-Oriented Modelling with Syntropy (1994), Prentice Hall, Englewood Cliffs, NJ 389 p
16. Das S.K. Deductive Databases and Logic Programming (1992), Addison-Wesley, Reading, MA 432 p
17. de Brock E.O. A general treatment of dynamic integrity constraints. Data Knowl. Eng. 32 (2000) 223-246
18. D'Souza D.F., and Wills A.C. Objects, Components and Frameworks with UML. The Catalysis Approach (1999), Addison-Wesley, Reading, MA 785 p
19. Embley D.W., Kurtz B.D., and Woodfield S.N. Object-Oriented Systems Analysis. A Model-Driven Approach (1992), Yourdon Press 302 p
20. Fahrner C., Marx T., and Philippi S. DICE: Declarative integrity constraint embedding into the object database standard ODMG-93. Data Knowl. Eng. 23 (1997) 119-145
21. L. Frias, A. Olivé, A. Queralt, EU-Rent car rentals specification, UPC, Research Report LSI 03-59-R, 2003, 159 p. Available from: .
22. D. Gornik, UML data modeling profile, IBM Software White Paper TP162, 05/02, 2002. Available from: .
23. Halpin T. Information Modeling and Relational Databases. From Conceptual Analysis to Logical Design (2001), Morgan Kaufmann Pub, Los Altos, CA 761 p
24. ISO/TC97/SC5/WG3, J.J. van Griethuysen (Ed.), Concepts and Terminology for the Conceptual Schema and the Information Base, March 1982.
25. Kowalski R. Logic for data description. In: Gallaire H., and Minker J. (Eds). Logic and Data Bases (1978), Plenum Press, New York 77-103
26. Liddle S.W., Embley D.W., and Woodfield S.N. Cardinality constraints in semantic data models. Data Knowl. Eng. 11 (1993) 235-270
27. Mylopoulos J., Borgida A., Jarke M., and Koubarakis M. Telos: a language for representing knowledge about information systems. ACM TOIS 8 4 (1990) 327-362
28. Meyer B. Object-Oriented Software Construction (1997), Prentice Hall, Englewood Cliffs, NJ 1254 p
29. Nicolas J.M., and Yazdanian K. Integrity checking in deductive databases. In: Gallaire H., and Minker J. (Eds). Logic and Data Bases (1978), Plenum Press, New York 325-344
30. A. Olivé, Integrity constraints checking in deductive databases, in: Proc. 17th VLDB, 1991, Barcelona, pp. 513-523.
31. A. Olivé, Integrity constraints definition in object-oriented conceptual modeling languages, in: Proc. ER 2003 (Chicago), LNCS 2813, pp. 349-362.
32. OMG, Model driven architecture (MDA), Doc. number ORMSC/2001-07-01, 2001. Available from: .
33. OMG, UML 2.0 OCL Specification, ptc 03/10/14, October 2003. Available from: .
34. OMG, Unified modeling language: superstructure, Version 2.0, August 2005.
35. Rumbaugh J., Jacobson I., and Booch G. The Unified Modeling Language Reference Manual (1999), Addison-Wesley, Reading, MA 550 p
36. Thalheim B. Entity-Relationship Modeling. Foundations of Database Technology (2000), Springer, Berlin 627 p
37. Urban S.D., Karadimce A.P., Dietrich S.W., Abdellatif T.B., and Rene Chan H.W. CDOL: A comprehensive declarative object language. Data Knowl. Eng. 22 1 (1997) 67-111