On the consistency of cardinality constraints in UML modelling
Abstract
Database designers are highly prone to make many mistakes when structuring the relevant information. Data definition is usually accompanied with some constraint declarations to capture more semantics. Multiplicity (or cardinality) constraints are among the most popular classes of constraints in database models. Nowadays, each constraint class representation is well-studied. However, conflicts are not detected between them and the global coherence is seldom covered. Our purpose is then to give a tool to detect possible conflicts among constraints before creating the physical database corresponding to an UML class diagram. We will treat the multiplicity constraints using a mathematical programming technique. The analysis and the detection of invalid sub-schemas will be done using Fourier-Motzkin elimination.
Fields of Study & Subjects
Model-Driven Software Engineering Techniques
Business Process Modeling and Analysis
Service-Oriented Architecture and Web Services
Publication details
- Journal / source
- Concurrent Engineering, Volume 1: Enhanced Interoperable Systems
- Publisher
- CRC Press
- Pages
- 287–292
- Publication date
- 11 February 2026
- Language
- EN
- Document type
- Book chapter