3. Exemples de SGBD déductifs
Parmi les SGBD déductifs opérationnels, nous pouvons citer :
-
SGBD déductifs relationnels (par couplage) : BIM-Prolog/Oracle, BIM‐Prolog/Ingres, BIM‐Prolog/UNIFY, Delphia‐Prolog/Oracle ;
-
SGBD objet déductifs : Validity (Bull, France), ConceptBase (Université d’Aachen, Allemagne), ROLL (Université Heriot‐Watt, Écosse), XSB (Université de Stony Brook, États‐Unis), CORAL (Université du Wisconsin, États‐Unis).
3.1 SGBD déductifs relationnels
De très nombreux logiciels permettant d’avoir des fonctionnalités de systèmes déductifs existent. La plupart du temps, il s’agit de systèmes proposant un langage de règles dont la manipulation est assurée par un moteur d’inférence. Une passerelle entre ces logiciels et des SGBD permet d’obtenir des fonctionnalités de SGBD déductifs. La facilité d’accès aux données et de leur manipulation dépend beaucoup de la qualité de cette passerelle. Elle peut nécessiter une écriture explicite des requêtes SQL par l’utilisateur pour l’accès aux données par le moteur d’inférence ou, au contraire, être...
La suite de cet article est réservée aux abonnés
Vous n'êtes pas abonné ?
Consultez gratuitement cet article.
votre période de consultation gratuite
Découvrez le plus important corpus scientifique et technique francophone
Plus de 8 000 articles, 13 univers, 400 bases documentaires, les plus grands auteurs, un enrichissement permanent et un éventail de services associés.
