Les types de relations
- Une valeur de relation r (relation en raccourci) se compose d'un en-tête et d'un corps où :
- l'en-tête de r est un en-tête de n_uplet. La relation r possède les mêmes attributs et le même degré.
- Le corps de r est un ensemble de n_uplets, ayant tous ce même en-tête.
- Le type de relation de r est determiné par l'en-tête de r et il a les mêmes attributs et le même degré que cet en-tête.
- Exemple : Relation { A1 : T1, A2 : T2, ..., An : Tn }