A CATEGORY THEORY APPROACH TO CONCEPTUAL DATA MODELING

摘要

Cette contribution décrit une sémantique fondée sur la théorie des catégories et développée en vue d'une modélisation conceptuelle des données. On peut concevoir la technique ici utilisée de modélisation conceptuelle des données comme une généralisation de la plupart des techniques existantes de cette modélisation. Elle comprend des caractéristiques comme la spécialisation, la généralisation et des types des ensembles. La sémantique n'utilise que des constructions simples provenant de la théorie des catégories, comme les (co-)limites ainsi que les épi- et les monomorphismes. Par conséquent, elle peut s'appliquer à un large éventail de catégories exemplaires; elle n'est pas limitée aux topoi ou aux catégories cartésiennes fermées. En choisissant des catégories exemplaires appropriées, aux modèles conceptuels des données peuvent être ajoutées certaines caractéristiques comme les valeurs absentes, les relations à plusieurs valeurs et même l'incertitude.%This paper describes a category theory semantics for conceptual data modeling. The conceptual data modeling technique used can be seen as a generalization of most existing conceptual data modeling techniques. It contains features such as specialization, generalization, and power types. The semantics uses only simple category theory constructs such as (co)limits and epi- and monomorphisms. Therefore, the semantics can be applied to a wide range of instance categories, it is not restricted to topoi or cartesian closed categories. By choosing appropriate instance categories, features such as missing values, multi-valued relations, and uncertainty can be added to conceptual data models.