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 analyze show 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.