L'Aide à l'expression des contraintes d'intégrité dans les systèmes d'information et la génération automatique des procédures associées — Véronique Narat