Abstract FR:

Les regles deductives et les regles actives dans les bases de donnees, ainsi que l'attachement procedural dans les bases de connaissances, representent des modeles de derivations differents. Le calcul des attributs derives est exprime differemment par les langages de ces modeles. La mise en place des valeurs des attributs derives et la maintenance de ces valeurs sont peu abordees dans ces modeles. Dans une premiere partie, nous montrons plusieurs exemples de systemes dans differents domaines en analysant les incovenients des differentes approches. Dans une deuxieme partie, nous montrons les aspects actifs et deductifs d'osiris, un systeme de representation de donnees et de connaissances oriente-objet. Nous proposons ensuite un modele de derivation et de maintenance des valeurs des attributs derives : monovalues, ensemblistes et recursifs, dans un contexte de bases de donnees et de bases de connaissances orientes-objet ; nous definissons un langage de derivation declaratif simple afin d'expliciter les dependances entre les valeurs des attributs pour construire un graphe de dependance automatiquement, nous modelisons les differents types de dependances entre attributs, et nous proposons un mecanisme de maintenance qui utilise le graphe de dependance pour assurer la coherence entre les valeurs des attributs pendant l'execution.