On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Relationship of relationships and other inter-relationship links in E-R model
Data & Knowledge Engineering
Extensions of first order logic
Extensions of first order logic
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
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
Constraints checking in UML class diagrams: SQL vs OCL
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
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 |
We present a new approach to study the global coherence of constraints in data modeling. Unlike most of other approaches, we take a best part of these constraints into account during modeling processing. Thus, it is useless to generate the database - which may be partially or totally empty - if the constraints are in conflict. To this end, we formalize the constraints in mathematical inequalities form combined with expressions in first-order logic. We propose two approaches to detect and localize conflicts. In the first one, an algorithm, based on Fourier-Motzkin elimination, is suggested. In the second approach, the conceptual schema is formalized using a knowledge base.