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
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)
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
Entity Evolution in ISA Hierarchies
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Representation of Generic Relationship Types in Conceptual Modeling
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolving Partitions in Conceptual Schemas in the UML
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
This paper analyzes the relationships between taxonomic constraints and derivation rules. 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 be 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. 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 for the determination of the taxonomic constraints that must be enforced in the final system.