Source: https://www.i3s.unice.fr/~nlt/cours/licence/sgbd1/sgbd1_td4_cor.pdf