Subtyping and derivation rules in fact-based modeling

Abstract

In this paper we will reflect on the derivation rule modeling concept and we will investigate how the definition of derivation rules is related to the subtypes and the subtype defining fact types in a conceptual schema. We propose the concept of 'derivation-logic induced' classifying fact types and what advantages this can have in terms of the creation and maintainability of conceptual schemas. © 2010 Springer-Verlag Berlin Heidelberg.