Une technique de reformulation des constraintes d'intégrité exprimées sur des relations déduites. - Pascale Borla-Salamet; N. Lefèbvre (BDA, 1990)