Theory of linear and integer programming
Theory of linear and integer programming
Integer and combinatorial optimization
Integer and combinatorial optimization
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
Relationship of relationships and other inter-relationship links in E-R model
Data & Knowledge Engineering
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
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
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
The Higher-Order Entity-Relationship Model and (DB)2
MFDBS '89 Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Relative Constraints in ER Data Models
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
On the Consistency of Int-cardinality Constraints
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Using Database Versions to Implement Temporal Integrity Constraints
CDB '97 Second International Workshop on Constraint Database Systems, Constraint Databases and Their Applications
A New Tool to Analyze ER-Schemas
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
On the global coherence of integrity constraints in UML class diagrams
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Constraints satisfaction problems in data modeling
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
On database normalization using user interface normal form
ICIC'10 Proceedings of the 6th international conference on Advanced intelligent computing theories and applications: intelligent computing
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Conceptual modeling of cardinality constraints in social publishing
International Journal of Intelligent Systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and 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.01 |
At a conceptual level data modelling consists in providing a structured form of relevant inforrnation and to accompany structures with constraints in order to capture more semantics. Cardinality constraints are among the most popular classes of constraints in database models. While each constraint class is now well understood, little is done about their interaction since possible conflicts among them may appear. The global coherence of these constraints must be considered before creating the physical corresponding database. In order to help in database design, our aim is then to propose a tool for reasoning about a set of Cardinality constraints. We will treat the global coherence using mathematical programming technique. The analyses and the detection of invalid sub-schemas will be done using Fourier-Motzkin elimination.