| DOMAINE | Modélisation |
Voir aussi : ATTRIBUT, PROPRIÉTÉ, TYPE DE DONNÉES, RELATION
DÉFINITION SPÉCIFIQUE AU DOMAINE
Dans le modèle relationnel, un domaine est l’ensemble des valeurs admissibles pour un composant de relation et une relation à n composants est définie comme un sous-ensemble (plus précisément une partie finie) du produit cartésien des n domaines correspondants.
Ces principes mathématiques sont toujours valables. Toutefois, dans le modèle de Codd, le domaine (semantic data type) était le " lieu de passage " de la sémantique : c’était donc à la fois une notion sémantique, puisqu’il fixait un certain usage (une certaine signification) aux composants concernés, et une notion syntaxique, puisqu’il fixait un certain format aux valeurs prises par ces composants. Il semble que les théoriciens aient évolué sur ce dernier point, assimilant complètement la notion de domaine et de type (au sens syntaxique du terme) : c’est désormais les prédicats appartenant à la structure relationnelle (ou schéma de la relation) qui fixe l’usage des composants, donc leur sémantique.
Dans de nombreux logiciels (notamment les logiciels de conception), on parle de " domaine ", spécifique à une donnée, lorsqu’il s’agit de définir son type comme une restriction d’un type de données prédéfini (intervalles ou énumération).