Source: https://pageperso.lis-lab.fr/bernard.espinasse/Supports/BD/IntegriteSemantique-4p.pdf