Derived types and taxonomic constraints in conceptual modeling
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 whole 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.
derived type taxonomic constraint conceptual modeling derivation rule taxonomy