An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Representing extended entity-relationship structures in relational databases: a modular approach
ACM Transactions on Database Systems (TODS)
Subtyping and polymorphism in object-role modelling
Data & Knowledge Engineering
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Conceptual modelling
A formal model of views for object-oriented database systems
Theory and Practice of Object Systems
Specialization by restriction and schema derivations
Information Systems
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Description logics for conceptual data modeling
Logics for databases and information systems
Integrity constraints: semantics and applications
Logics for databases and information systems
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Object-Oriented Methods
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
How to Tackle Schema Validation by View Updating
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Automatic Validation of Object-Oriented Database Structures
Proceedings of the Fifth International Conference on Data Engineering
Formal Properties of Net-Based Knowledge Representation Schemes
Proceedings of the Second International Conference on Data Engineering
Covering and Disjointness Constraints in Type Networks
Proceedings of the Third International Conference on Data Engineering
Understanding Implementations of IS-A Relations
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Property Covering: A Powerful Construct for Schema Derivations
ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
Minimal representation of type-hierarchies
AIKED'08 Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Derived types in semantic association discovery
Journal of Intelligent Information Systems
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Hi-index | 0.00 |
This paper analyzes the relationships between derived types and taxonomic constraints. The objectives are to see which taxonomic constraints are entailed by derivation rules and to analyze how taxonomic constraints can be satisfied in presence of derived types. We classify derived entity types into several classes. The classification reveals the taxonomic constraints entailed in each case. These constraints must be base constraints (defined in the taxonomy) or derivable from them. We show how the base taxonomic constraints can be satisfied, either by the derivation rules (or the whoie schema), or by enforcement. We also show that our results extend naturally to taxonomies of relationship types.Our results are general and could be incorporated into many conceptual modeling environments and tools. The expected benefits are an improvement in the verification of the consistency between taxonomic constraints and derivation rules, and a guide (to the information system designer) for the determination of the taxonomic constraints that must be enforced in the final system.