Graphs and algorithms
Data structures and network algorithms
Data structures and network algorithms
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
A fast and effective heuristic for the feedback arc set problem
Information Processing Letters
Approximations for the maximum acyclic subgraph problem
Information Processing Letters
Cardinality constraints in semantic data models
Data & Knowledge Engineering
Shortest paths algorithms: theory and experimental evaluation
Mathematical Programming: Series A and B
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
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Finding Real-Valued Single-Source Shortest Paths
Proceedings of the 5th International IPCO Conference on Integer Programming and Combinatorial Optimization
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Information Fusion in Logic: A Brief Overview
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Selected Papers from a Workshop on Semantics in Databases
Deductive Object Oriented Schemas
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Resolving Constraint Conflicts in the Integration of Entity-Relationship Schemas
ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
On the Consistency of Int-cardinality Constraints
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Graph-Theoretical Methods to Construct Entity-Relationship Databases
WG '95 Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Characterization of type hierarchies with open specification
Proceedings of the 2nd international conference on Semantics in databases
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
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 |
Due to the complexity ofmo dern database applications, semantic information is no longer a unified whole, but arises from multiple sources. Whatever the type of the sources, information fusion raises the crucial problem ofin consistent sets ofin tegrity constraints. While earlier research mostly concentrated on consistency checking, less attention has been paid to the resolution ofcon straint conflicts in entity-relationship modeling. We suggest four strategies towards conflict resolution: (1) determination ofs uperfluous object types, (2) incremental consistency checking, (3) detection ofmi nimal inconsistent subsets, (4) constraint correction via feedback arc elimination, and apply them to constraint sets containing cardinality constraints and key dependencies.