Mise en oeuvre simultanée des règles de cohérence et de déduction dans une Base de Données.