On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Coping with Inconsistent Constraint Specifications
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
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
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies 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 |