Séquence 3/6 : Algèbre relationnelle

Un renommage pour un ensemble fini d'attributs U est une fonction injective de U dans att que l'on notera A1 → B1,...,An → Bn. L'opération de renommage ρ_{A1→B1,...,An→Bn} transforme une relation sur A1,...,An en une relation sur B1,...,Bn de la manière suivante :

• ρ_{A1→B1,...,An→Bn} (I) = {v sur B1,...,Bn | il existe u ∈ I, v(Bi) = u(Ai) pour tout i ∈ [1..n]}