Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Analyti, A.; Constantopoulos, P.; Spyratos, N. Specialization by restriction and Schema Derivations”, Information Systems, 23(1), 1998, pp. 1–38.
Analyti, A.; Spyratos, N.; Constantopoulos, P. “Property Covering: A Powerful Construct for Schema Derivations”, Proc. ER’97, LNCS 1331, Springer-Verlag, pp. 271–284.
Atzeni, P.; Parker, D. S. “Formal Properties of Net-based Knowledge Representation Systems”, Procs. ICDE’86, Los Angeles, 1986, pp. 700–706.
Batini, C.; Ceri, S.; Navathe, S. Conceptual Database Design. An Entity-Relationship Approach. The Benjamin/Cummings Pub. Co., 1992, 470 p.
Bancilhon, F.; Ramakrishnan, R. “An Amateur’s Introduction to Recursive Query Processing Strategies”. Proc. ACM SIGMOD Int. Conf. on Management of Data, May 1986, pp. 16–52.
Boman, M.; Bubenko, J. A.; Johannesson, P.; Wangler, B. Conceptual Modelling. Prentice Hall, 1997, 269 p.
Bergamaschi, S.; Sartori, C. “On Taxonomic Reasoning in Conceptual Design”, ACM TODS 17(3), 1992, pp. 385–422.
Borgida, A.; Mylopoulos, J.; Wong, H. K. T. “Generalization/Specialization as a Basis for Software Specification”. In Brodie, M. L.; Mylopoulos, J.; Schmidt, J. W. (Eds.) “On Conceptual Modelling”, Springer-Verlag, 1984, pp. 87–117.
Borgida, A. “Description Logics in Data Management”, IEEE Trans. on Knowledge and Data Eng., 7(5), 1995, pp. 671–682.
Borgida, A. “On the Relative Expressiveness of Description Logics and Predicate Logics”. Artificial Intelligence 82(1-2), 1996, pp. 353–367.
Brachman, R. J.; Schmolze, J. G. “An Overview of the KL-ONE Knowledge Representation System”. Cognitive Science 9, 1985, pp. 171–216.
Calvanese, D.; Lenzerini, M.; Nardi, D. “Description Logics for Conceptual Data Modeling”, In Chomicki, J.; Saake, G. (Eds.) Logics for Databases and Information Systems, Kluwer Academic Press, 1998, pp. 229–263.
Ceri, S.; Fraternali, P. Designing Database Applications with Objects and Rules. The IDEA Methodology. Addison-Wesley, 1997, 579 p.
Delcambre, L. M. L.; Davis, K. C. “Automatic Verification of Object-Oriented Database Structures”. Procs. ICDE’89, Los Angeles, pp. 2–9.
Decker, H.; Teniente, E.; Urpí, T. “How to Tackle Schema Validation by View Updating”. Proc. EDBT’96, Avignon, LNCS 1057, Springer, 1996, pp. 535–549.
Godfrey, P.; Grant, J.; Gryz, J.; Minker, J. “Integrity Constraints: Semantics and Applications”, In Chomicki, J.; Saake, G. (Eds.) Logics for Databases and Information Systems, Kluwer Academic Press, 1998, pp. 265–306.
Gustaffsson, M. R.; Karlsson, T.; Bubenko, J. A. jr. “A Declarative Approach to Conceptual Information Modeling”. In: Olle, T. W.; Sol, H. G.; Verrijn-Stuart, A. A. (eds.) Information systems design methodologies: A Comparative Review. North-Holland, 1982, pp. 93–142.
Guo, S.; Sun, W.; Weiss, M. A. “Solving Satisfiability and Implication Problems in Database Systems”. ACM TODS 21(2), 1996, pp. 270–293.
Halpin, T. A.; Proper, H. A. “Subtyping and polymorphism in object-role modelling”, Data and Knowledge Eng., 15, 1995, pp. 251–281.
Hammer, M.; McLeod, D. “Database Description with SDM: A Semantic Database Model”, ACM TODS, 6(3), 1981, pp. 351–386.
Hainaut, J-L.; Hick, J-M.; Englebert, V.; Henrard, J.; Roland, D. “Understanding the Implementation of IS-A Relations”. Proc. ER’96, Cottbus, LNCS 1157, Springer, pp. 42–57.
Hull, R.; King, R. “Semantic Database Modeling: Survey, Applications, and Research Issues”, ACM Computing Surveys, 19(3), 1987, pp. 201–260.
ISO/TC97/SC5/WG3. “Concepts and Terminology for the Conceptual Schema and Information Base”, J. J. van Griethuysen (ed.), March, 1982.
Lenzerini, M. “Covering and Disjointness Constraints in Type Networks”, Proc. ICDE’87, Los Angeles, IEEE, 1987, pp. 386–393.
Lloyd, J. W. Foundations of Logic Programming. 2nd Edition. Springer-Verlag, 1987, 212 p.
Martin, J.; Odell, J. J. Object-Oriented Methods: A Foundation. Prentice Hall, 1995, 412 p.
Markowitz, V. M.; Shoshani, A. “Representing Extended Entity-Relationship Structures in Relational Databases: A Modular Approach”, ACM TODS 17(3), 1992, pp. 423–464.
Nijssen, G. M.; Halpin, T. A. Conceptual Schema and Relational Database Design. Prentice Hall, 1989, 342 p.
Olivé, A.; Costal, D.; Sancho, M-R. “Entity Evolution in IsA Hierarchies”, Proc. ER’99, LNCS 1728, Springer, 1999, pp. 62–80.
Olivé, A. “Relationship Reification: A Temporal View”, Proc. CAiSE’99, LNCS 1626, Springer, 1999, pp. 396–410.
Rumbaugh, J.; Jacobson, I.; Booch, G. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999, 550 p.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Olivé, A. (2001). Taxonomies and Derivation Rules in Conceptual Modeling. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds) Advanced Information Systems Engineering. CAiSE 2001. Lecture Notes in Computer Science, vol 2068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45341-5_28
Download citation
DOI: https://doi.org/10.1007/3-540-45341-5_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42215-0
Online ISBN: 978-3-540-45341-3
eBook Packages: Springer Book Archive