Source: https://www.lamsade.dauphine.fr/~manouvri/BD/CoursBDRelationnelles_ENSTA_MManouvrier.pdf