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...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Exemples de SGBD déductifs
Conclusion
Références bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
