Attribut
Définition : Attribut
On dispose d'un ensemble (infini) \(att\) d'attributs. On associe à un attribut \(a\), un ensemble de constantes, potentiellement infini noté \(dom(a)\) (parfois, également appelé type de \(a\)). On note \(dom\) l'union des ensembles de toutes les constantes de tous les attributs. On utilisera aussi un ensemble \(var\) de variables.
Exemple :
Dans la base de données CINEMA, Titre ou Salle sont des attributs. Les entiers, les réels ou les jours de la semaine, sont des domaines.