On the global coherence of integrity constraints in UML class diagrams

Proceedings of the IASTED International Conference on Databases and Applications, DBA 2006

Volumn , Issue , 2006, Pages 109-114

  Ali, A Ben Hadj ^a   Boufares, F ^b   Abdellatif, A ^a  

^a FACULTÉ DES SCIENCES DE TUNIS   (Tunisia)

^b UNIVERSITÉ PARIS 13   (France)

Author keywords

Constraint; Constraints classification; Constraints interactions; Databases design; Global coherence; UML class diagram

Indexed keywords

CONSTRAINT THEORY; INTEGRAL EQUATIONS; MATHEMATICAL MODELS;

GLOBAL COHERENCE; GLOBAL COHERENCE~; INTEGRITY CONSTRAINTS;

DATABASE SYSTEMS;

EID: 38049168829     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. P. P. Chen, The Entity-Relationship Model -Towards a Unified View of Data, ACM Transactions On Database Systems 1, March 1976, 9-36.
2. OMG, UML Semantics (In OMG Unified Modeling Language Specification, UML 1.5, Mars 2003).
3. P. Godfrey, J. Grant, J. Gryz et J. Minker, Logics for databases and information systems (J. Chomiki and g. Saake, editors, Kluwer, 1998).
4. th International Conference on the Entity-Relationship Approach, LNCS 645, Karlsruhe, Germany, October 7-9 1992, 7-23.
5. S. Hartmann, On Interactions of Cardinality Constraints, Key, and Functional Dependencies, FolKS'2000 : Foundations of Information and Knowledge Systems, First International Symposium, LNCS 1762, Burg, Germany, February 2000, 136-155.
6. M. Lenzerini, P. Nobili, On the satisfiability of dependency constraints in Entity-Relationship schemata, Info. Syst. 90, Information Systems volume 15(4), 1990, 453-461.
7. F. Boufares et H. Bennaceur, Consistency problems in ER-schemas for database systems, Journal of Information Sciences, June 2004.
8. F. Boufares, D. Berrabeh, C. F Ducateau, F. Gargouri, Les conflits entre les contraintes dans les schémas conceptuels de Bases de Données : UML - EER, Journal ISDM, January 2005.
9. D. Clavanese et M. Lenzerini, On the interaction between ISA and cardinality constraints, Proceedings of the 10th IEEE International Conference on Data Engineering (ICDE_94), IEEE Computer Society Press, Silver Spring Houston, TX, USA, 1994, 204-213
10. R. Elmasri et S.B. Navathe, Fundamentals of Database System Fourth edition (Benjamin/Cummings, Redwood City, 1994).
11. C. Date, An introduction to database systems, Volume 1, Fifth edition (Addison Wesley, 1990).
12. H. Korth, A. Sliberschatz, Database system concepts, second edition, (Mc-GrawHill, 1991).
13. M. Fowler, UML 2.0 (Paris, CampusPress, 2004).
14. J. Gabay, Merise et UML pour la modélisation des systèmes d'information (Paris, Dunod, 2001).
15. OMG, UML 2.0 OCL Specification, OMG Final Adopted Specification, Octobre 2003.
16. J. Dullea, Il-Yeol Song and Ioanna Lamprou, An analysis of structural validity in entity-relationship modeling, Data & Knowledge Engineering (47) 2003, 167-205.
17. Konrad Engel and S. Hartmann, Minimal sample databases for global cardinality constraints. In: Foundations of Information and Knowledge Systems, Eds.: T. Eiter, K-D. Schewe, Springer-Verlag, Berlin Heidelberg, 2002, 268-287.
18. J. Dullea, Il-Yeol Song, A Taxonomy of Recursive Relationships and Their Structural Validity in ER Modelling, ER'99, Conceptual Modelling, 18th International Conference on Conceptual Modelling, LNCS 1728, Paris, France, November 1999, 384-398.
19. X. Ye, C. Parent, S. Spaccapietra, Cardinality consistency of derived objects in DOOD systems, in: Proceedings of the 13th International Conference on the Entity-Relationship Approach (ER_94) Business Modelling and Re-Engineering, Lecture Notes in Computer Science 881, Springer, Manchester, UK, 13-16 December 1994, 278-295.
20. P. André, A. Romanczuk, J.-C. Royer andine Vasconcelos, Checking the consistency of UML Class Diagrams Using Larch Prover, In T. Clarck, éditeur, Proceedings of the third rigorous object-oriented methods workshop, BCS and WICS, Janvier 2000.
21. th international conference on the Unified Modeling Language, Dresden, Germany, 2002.
22. th Conference on Advanced information Systems Engineering-CAiSE'2000, volume 1789 of Lecture Notes in Computer science, Stockholm, Sweden, 2000. Springer-Verlag.