Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Improving database design through the analysis of relationships
ACM Transactions on Database Systems (TODS)
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Minimal Sample Databases for Global Cardinality Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Conceptual Data Modeling: An Algebraic Viewpoint
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Coping with Inconsistent Constraint Specifications
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Reasoning in expressive description logics
Handbook of automated reasoning
Reasoning about participation constraints and Chen's constraints
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
The description logic handbook
Enforcing cardinality constraints in the ER model with integrity methods
Advanced topics in database research vol. 1
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
On the global coherence of integrity constraints in UML class diagrams
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Know your limits: enhanced XML modeling with cardinality constraints
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Constraints satisfaction problems in data modeling
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Efficient reasoning about a robust XML key fragment
ACM Transactions on Database Systems (TODS)
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
On Matrix Representations of Participation Constraints
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Numerical constraints on XML data
Information and Computation
Decomposition by pivoting and path cardinality constraints
ER'00 Proceedings of the 19th international conference on 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
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Reducing multiplicities in class diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
An iterative requirements engineering framework based on Formal Concept Analysis and C-K theory
Expert Systems with Applications: An International Journal
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Conceptual modeling of cardinality constraints in social publishing
International Journal of Intelligent Systems
Configuration repair via flow networks
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent 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
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |