thesis
L'aide a l'expression des contraintes d'integrite dans les systemes d'information et la generation automatique des procedures associees
Institution:
Paris 6Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Elaboration d'un outil d'aide a la conception de systemes d'information. Un langage permettant d'exprimer les contraintes d'integrite portant sur des entites et des associations est propose a l'utilisateur. Ce langage est base sur la logique du premier ordre