On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Analysis of binary/ternary cardinality combinations in entity-relationship modeling
Data & Knowledge Engineering
An analysis of cardinality constraints in redundant relationships
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
On the Consistency of Int-cardinality Constraints
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Finite model reasoning in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Configuration repair via flow networks
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |
In class diagrams, so-called multiplicities are integer ranges attached to association ends. They constrain the number of instances of the associated class that an instance may be linked to, or in an alternative reading, the number of links to instances of the associated class. In complex diagrams with several chains of associations between two classes (arising e.g. in configuration management) it may happen that the lower or upper bound of a range can never be attained because of restrictions imposed by a parallel chain. In this paper we investigate how multiplicities behave when chaining associations together, and we characterise situations where intervals can be tightened due to information from other chains. Detecting and eliminating such redundancies provides valuable feedback to the user, as redundancies may hint at some underlying misconception.