On the Consistency of Int-cardinality Constraints

In the entity-relationship model, cardinality constraints are frequently used to specify dependencies between entities and relationships. They impose lower and upper bounds on the cardinality of relationships an instance of a fixed type may participate in.