Ce mémoire a pour sujet l'étude d'un nouveau type de bases de données : les bases de données déductives, également appelées bases de données logiques. Situées à mi-parcours entre les bases de données d'une part et la logique mathématique d'autre part, les bases de données déductives sont généralement peu connues et, bien que les nombreuses recherches entreprises depuis une quinzaine d'années fournissent des résultats engageants, les bases de données déductives risquent de ne jamais être commercialisées par manque de "publicité", ou tout simplement parce qu'elles seront "passées de mode". Les bases de données déductives ont de nombreuses similitudes avec les bases de données relationnelles, elles offrent en plus la possibilité de gérer des "connaissances" exprimées sous forme de règles, appelées règles de déduction ou règles d'inférence. La présence de ces règles nécessite la mise au point de nouvelles méthodes de gestion ; la méthode des événements internes propose une solution particulière aux problèmes du contrôle de cohérence (lors de mises à jour diverses) et de gestion de mises à jour de faits dérivés.
| la date de réponse | 1991 |
|---|
| langue originale | Français |
|---|
| L'institution diplômante | |
|---|
| Superviseur | Roland LESUISSE (Promoteur) |
|---|
Bases de données déductives : la méthode des événements internes
Delhez, M. (Auteur). 1991
Student thesis: Master types › Master en sciences informatiques